<!-- Hide script
// moddate.js
// Returns date a page was last modified
// in a string with full day and month names.
ModDayName = new Array(7);
ModDayName[0] = "Sunday";
ModDayName[1] = "Monday";
ModDayName[2] = "Tuesday";
ModDayName[3] = "Wednesday";
ModDayName[4] = "Thursday";
ModDayName[5] = "Friday";
ModDayName[6] = "Saturday";

ModMonthName = new Array(12);
ModMonthName[0] = "January ";
ModMonthName[1] = "February ";
ModMonthName[2] = "March ";
ModMonthName[3] = "April ";
ModMonthName[4] = "May ";
ModMonthName[5] = "June ";
ModMonthName[6] = "July ";
ModMonthName[7] = "August ";
ModMonthName[8] = "September ";
ModMonthName[9] = "October ";
ModMonthName[10] = "November ";
ModMonthName[11] = "December ";

function getModDateStr()
{
    var Modday = new Date(document.lastModified);
    var WeekDay = Modday.getDay();
    var Month = Modday.getMonth();
    var Day = Modday.getDate();
    var Year = Modday.getYear();
    if (Year >= 100 && Year <=1999)
	{Year = Year + 1900}
	else
	{Year = Year}
    return "Modified on " + ModMonthName[Month] + Day + ", " + Year;
}
document.write(getModDateStr());
//-->