var Wochentage = new Array("So","Mo","Di",    "Mi", "Do", "Fr", "Sa");   var Monate = new Array("Januar", "Februar", "März",    "April", "Mai", "Juni", "Juli","August","September",    "Oktober", "November", "Dezember");   var Updated = new Date(document.lastModified);   var Wochentag   = Wochentage[Updated.getDay()];   var Monat   = Monate[Updated.getMonth()];   var Tag       = Updated.getDate();   var Jahr       = Updated.getFullYear();   var Stunde       = Updated.getHours();   var Minute       = Updated.getMinutes();   if (Tag < 10) Tag = "0" + Tag;   if (Minute < 10) Minute = "0" + Minute;   var UpdateText="last update: " +      Wochentag + ", " + Tag + ". " + Monat + " " + Jahr +      " um " + Stunde + ":" + Minute ;   document.write(UpdateText);