function lastUpdated()
{
	month = [ "January" , "February" , "March" , "April" , "May" , "June" , "July" , "August" , "September" , "October" , "November" , "December" ];
	dateMod = new Date(document.lastModified);
	document.write("Last Update:  " + dateMod.getDate() + " " + month[dateMod.getMonth()] + " " + dateMod.getYear());
} //end lastUpdated