<!-- Display last date file was updated
function MDay() {
        when= new Date(document.lastModified);
	day = when.getDay();
//			This is one way to select a value based on
//			the number (0-7) returned by the getDay 
//			method.  In each case, the value returned and
//			stored in day is checked against one of the
//			possible values, and if it matches, a string
//			value is assigned to the variable day.  Not
//			terribly elegant. A cleaner solution is 
//			shown in the next function.
	if (day == 0) day=" Sunday";
	if (day == 1) day=" Monday";
	if (day == 2) day=" Tuesday"
	if (day == 3) day="Wednesday";
	if (day == 4) day="Thursday";
	if (day == 5) day=" Friday";
	if (day == 6) day="Saturday";
        return(day);
}

function MDate() {
dlm=new Date(document.lastModified);
mMonth=dlm.getMonth();
dDate=dlm.getDate();
yYear=dlm.getYear();

if (yYear < 1900)
	if (yYear < 70) {yYear += 2000}
	else {yYear += 1900};
//		The year returns years since 1900...add 1900 to
//		get the correct year...No Y2K problems w/ this
//		script!  :-)
var MonthName = new Array(12);
MonthName[0]="January";
MonthName[1]="February";
MonthName[2]="March";
MonthName[3]="April";
MonthName[4]="May";
MonthName[5]="June";
MonthName[6]="July";
MonthName[7]="August";
MonthName[8]="September";
MonthName[9]="October";
MonthName[10]="November";
MonthName[11]="December";
//		The code below will set the variable mMonth to
//		the correct string by using the numerical value
//		as an index into the array MonthName created just
//		above.  A more elegant way to select a string, but
//		it does require more memory.  There are always
//		tradeoffs.
mMonth=MonthName[mMonth];
//		Since the getMonth function returns the numerical
//		value for the month (0-11), we need to translate
//		that to a character string to make it friendly.
dater_str=" "+mMonth + " " + dDate + ", " + yYear;
return(dater_str);
}
// 	Here we build a string for output.  We could do it with
// 	a set of calls to the functions right in 
// 	the writeln, but
// 	this lays out better, and is  more readable.
var ModStr="This page was last modified on " + MDay();
ModStr+= ", " + MDate();
document.writeln(ModStr);
// -->



