var day_array = new Array("domingo", "lunes", "martes", "miércoles",
                          "jueves", "viernes", "sábado");
var month_array = new Array("enero", "febrero", "marzo", "abril",
                           "mayo", "junio", "julio", "agosto",
                           "septiembre", "octubre", "noviembre", "diciembre")

mod_date  = new Date(document.lastModified); which_day  = mod_date.getDay();
which_month = mod_date.getMonth(); which_date   = mod_date.getDate();
which_year  = mod_date.getYear(); var day_string = day_array[which_day];
var month_string = month_array[which_month]; if (which_year < 1000) which_year += 1900;