<!-- 

// Array of day names
var dayNames = new Array("Sunday","Monday","Tuesday","Wednesday",
				"Thursday","Friday","Saturday");

// Array of month Names: gives 2 months ago
var monthNames = new Array(
"November","December","January","February","March","April","May","June","July","August","September","October");

var now = new Date();
var whichYear = now.getFullYear()
var whichMonth = now.getMonth()
if ( whichMonth <= 1 )
	whichYear -= 1
document.write("<p><font size=-1>Last revised " + monthNames[whichMonth] + " " + whichYear + "</font></p>")
// -->
