// THIS WILL WRITE OUT THE LAST MODIFIED DATE
// YOU DO NOT NEED TO CHANGE ANYTHING HERE

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

function getCorrectedYear(year) {
    year = year - 0;
    if (year < 70) return (2000 + year);
    if (year < 1900) return (1900 + year);
    return year;
}

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";

updated = new Date(document.lastModified);

theMonth = monthNames[updated.getMonth() + 1];
theDate = updated.getDate();

if (document.all || document.layers)
    theYear = updated.getFullYear();
else
    theYear = getCorrectedYear(updated.getYear());

document.write("Last modified on " + theMonth + " " + theDate +  ", " + theYear + ".");
document.write("<BR><FONT FACE=\"Arial\" SIZE=1>");
document.write("(Year may not appear correctly due to weak JavaScript-standards)");
document.write("</FONT>");