function makeArray(arraySize) {
     this.length = arraySize;
     return this;
}

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

var updated  = new Date(document.lastModified);
var theMonth = monthNames[updated.getMonth() + 1];
var theDate  = updated.getDate();
var year     = updated.getYear();   		// 2-digit number returned
//var year2    = updated.getFullYear();   // 4-digit number returned

var theYear  = year + 1900;							// Assume 1900s
if ( year < 75 ) theYear = year + 2000;	// If before 1975, assume 2000s

//document.write("Revised on " + theMonth + " " + theDate +  ", " + theYear +  ", " + year2)
document.write("Revised on " + theMonth + " " + theDate +  ", " + theYear)