document.write("<em>");
document.write("Last change: ");
document.write(document.lastModified);
document.write("</em>");