document.write("letzte Änderungen: ");
document.write(document.lastModified);
document.write(", ");