document.write( "---  Updated " + document.lastModified + "  ---" );