// This JavaScript generates a line of HTML containing the date last updated, formatted

function dayofWeek(day)                            //Function to get the weekday in English
{
	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)                          //Function to get the month in English
{
	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 Modified: 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("Last updated on ", day + ", " + mon + " " + dte + ", " + year);
	}//