var day_array = new Array("Sunday", "Monday", "Tuesday","Wednesday",
                          "Thursday", "Friday", "Saturday");
var month_array = new Array("January", "February", "March", "April",
                           "May", "June", "July", "August",
                           "September", "October", "November", "December")

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;