<!------ Center the date-time document was last modified ----

lastmod = document.lastModified		// get string of last modified date
lastmoddate = Date.parse(lastmod)	// convert modified string to date
									// if lastmoddate = 0 then unknown date (or January 1, 1970 GMT)
if(!(lastmoddate == 0)) {
	document.write('<center><table bgcolor="FFFFFF" cellpadding="2"><tr><td>');
	document.write('<font size="-2"><font color="#990000"> Modified: ' + lastmod + ' </font></font>');
	document.write('</td></tr></table></center>');
}
//--------->
