/* external javascript file for my kronometric.ORG website
	started 9/6/2011
	110906 write the 'last modified' info 
*/

	function lastMod() {
		if (document.write) {
		document.write('<p>');
		document.write('Last modified on: '+document.lastModified);
		document.write('</p>');
		}
	}

/* end of javascript */