<!-- Date updated script to go at the bottom of each page -->
<!-- hide from old browsers
	months = ['January', 'February', 'March', 'April', 'May', 'June', 'July', 'August', 'September', 'October', 'November', 'December']; 
	var theDate = new Date(document.lastModified); 
	with (theDate) { 
	document.write("<i>Last updated <br />"+getDate()+' '+months[getMonth()]+' '+getFullYear()+ "</i>") 
	} 	
-->
