//This code is used to produce the "document modified" date
//displayed at the bottom of each web page.
//Only the getDate() function is used on the web page.

function makeArray0() {
     for (i = 0; i<makeArray0.arguments.length; i++)
          this[i] = makeArray0.arguments[i];
}

var months = new makeArray0('January','February','March',
    'April','May','June','July','August','September',
    'October','November','December');

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

function y2k(number) { return (number < 1000) ? number + 1900 : number; }

var last = document.lastModified;
var date = new Date(last);
var dateY2K = new Date(getCorrectedYear(date.getYear()),date.getMonth(),date.getDate());

function getDate(){
	return months[dateY2K.getMonth()] + " " + dateY2K.getDate() + ", " + (y2k(dateY2K.getYear()));
}