var day_array = new Array("Sonntag", "Montag", "Dienstag", "Mittwoch", "Donnerstag", "Freitag", "Samstag");
var month_array = new Array("Januar", "Februar", "März", "April", "Mag", "Juni", "Juli", "August", "September", "Oktober", "November", "Dezember")

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;