function getFullYear(theDate) {            
     var year = theDate.getYear();
     if (year <   80) year += 2000;     // Correct lastModified bug
     if (year < 1000) year += 1900;     // Correct getYear bug
     if (year < 1997) year  = 1997;     // No old pages
     return year;
}

monthNames = new Array("January", "February", "March", "April", "May", 
     "June", "July", "August", "September", "October", "November", "December");

modDate    = new Date(document.lastModified);

document.write("<br><center><b><font size='-1'>Last modified on " + monthNames[modDate.getMonth()] + 
               " " + modDate.getDate() + ", " + getFullYear(modDate) + ".</font></b></center>");