aenderung = document.lastModified;
document.write("Letzte Änderung: "+aenderung+"");