<!--
		document.write("Last updated:  "); 
		modDate = document.lastModified;
		document.write(modDate);
// -->