document.write("<p>letzte Aktualisierung: " + document.lastModified + " GR" + "<\/p>");