document.write('Page last modified '+document.lastModified);