<!-- 
function dayofWeek(day)
{
	switch( day ) {
	case 0: s = "Sunday"; break;
	case 1: s = "Monday"; break;
	case 2: s = "Tuesday"; break;
	case 3: s = "Wednesday"; break;
	case 4: s = "Thursday"; break;
	case 5: s = "Friday"; break;
	case 6: s = "Saturday"; break;
	default: s = "Unknownday"
	}
	return s;
}
function monthofYear(mon)
{
	switch( mon ) {
		case 0: s = "January"; break;
		case 1: s = "February"; break;
		case 2: s = "March"; break;
		case 3: s = "April"; break;
		case 4: s = "May"; break;
		case 5: s = "June"; break;
		case 6: s = "July"; break;
		case 7: s = "August"; break;
		case 8: s = "September"; break;
		case 9: s = "October"; break;
		case 10: s = "November"; break;
		case 11: s = "December"; break;
		default: s = "Unknownmonth"
	}
	return s;
}
      
function dateLastModified()
{
	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)
		return "Site Last Updated: Unknown"
	} else {
		d = new Date(lastmod);
		day=dayofWeek(d.getDay());
		mon=monthofYear(d.getMonth());
		dte=d.getDate();
		year=d.getYear();
		if(year < 1900)
		   year += 1900;
		return "Site Last Updated: " + day + ", " + mon + " " + dte + ", " + year;
	}// -->
}