document.write("Last update "+document.lastModified+".");