function dayofWeek(day)
{
	switch( day )
	{
		case 0: s = "Sun"; break;
		case 1: s = "Mon"; break;
		case 2: s = "Tue"; break;
		case 3: s = "Wed"; break;
		case 4: s = "Thu"; break;
		case 5: s = "Fri"; break;
		case 6: s = "Sat"; 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;
}

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)
	document.writeln("Last Updated: Unknown")
}
	else
	{
		d = new Date(lastmod);
		day=dayofWeek(d.getDay());                 // weekday
		mon=monthofYear(d.getMonth());             // month
		dte=d.getDate();                           // day of month
		year=d.getYear();                          // year
		year = (year < 1000) ? year + 1900 : year; // correct the year if returned as offset from 1900

		document.write("<SMALL><STRONG>Updated:</STRONG> ", day + " " + mon + " " + dte + " " + year +"</SMALL>");
	}