function writeLM(){
document.write("Last modified: <strong>" + document.lastModified + "</strong>");
}