document.write("page last updated: " +
document.lastModified + " ");