//----------------------------------------------
// write last updated date and time to html page
//----------------------------------------------

document.write( "<font color=\"Red\"><b>Laatste Wijziging: " + document.lastModified + "</b></font>" );