function aktualisiert() { var dLM = new Date(Date.parse(document.lastModified));
var year = dLM.getFullYear();
var month = dLM.getMonth()+1;
var date = dLM.getDate();
var hours = dLM.getHours();
var minutes = dLM.getMinutes();
var seconds = dLM.getSeconds();
if (date<10) date = "0"+date;
if (month<10) month = "0"+month;
if (hours<10) hours = "0"+hours;
if (minutes<10) minutes = "0"+minutes;
if (seconds<10) seconds = "0"+seconds;
// Ausgabe kann auch angepasst werden
document.write("aktualisiert: "
+date+"/"+month+"/"+year);
}
// -->