   <!-- Hide from older browsers.
   //This script displays last modified date
   
   	function PrintLastModDate()
   	{
		var mod=new Date();
		mod.setTime(Date.parse(document.lastModified))
		var dateText = "<span class='date'>This page was last updated on: ";
		dateText += FormatDate(mod) + "</span><P>";
		document.writeln(dateText);
	}
	
	// format date as string
	
	function FormatDate(mod)
	{
		var modDate, modTime, dateText;
		var dayArray = new Array("Sunday", "Monday", "Tuesday", "Wednesday", "Thursday", "Friday",  "Saturday");
		var monthArray = new Array("January", "February", "March", "April", "May", "June", "July", "August", "September", "October", "November", "December");
		modDate = dayArray[mod.getDay()] + ", ";
		modDate += mod.getDate() + " ";
		modDate += monthArray[mod.getMonth()];
		modDate += " " + mod.getFullYear();
		modTime = mod.getHours();
		modTime += ((mod.getMinutes()<10) ? ":0" : ":") + mod.getMinutes();
		dateText = modDate + " at " + modTime;
		return dateText;
		
	}
   // End hiding from older browsers -->
