function ShowLastModified () {
	var DayNames = new Array("Sun","Mon","Tues","Wed","Thur","Fri","Sat");
	var MonthNames = new Array("Jan","Feb","Mar","Apr","May","Jun","Jul","Aug","Sep","Oct","Nov","Dec");
	lastmod = document.lastModified // get string of last modified date
	lastmoddate = Date.parse(lastmod)// convert modified string to date
	if(lastmoddate == 0){ // unknown date (or January 1, 1970 GMT)
	    var ModDate = "Unknown";
	} else {
	    var ModOnDate = new Date(lastmoddate);
	    var ModDate = DayNames[ModOnDate.getDay()] + ", " + MonthNames[ModOnDate.getMonth()] + " " + ModOnDate.getDate() + ", " + ModOnDate.getFullYear();
	}document.write("Last Modified " + ModDate);
}