<!--
function makeArray0() {
   for (i = 0; i<makeArray0.arguments.length; i++)
      this[i] = makeArray0.arguments[i];
}

var days = new makeArray0('Sunday','Monday','Tuesday','Wednesday','Thursday','Friday','Saturday');

var months = new makeArray0('January','February','March','April','May','June','July','August','September','October','November','December');

function nths(day) {
   if (day == 1 || day == 21 || day == 31)
     return 'st';
   if (day == 2 || day == 22)
     return 'nd';
   if (day == 3 || day == 23)
     return 'rd';
   return 'th';
}

function y2k(number) { return (number < 1000) ? number + 1900 : number; }

function getCorrectedYear(year) {
    year = year - 0;
    if (year < 70) return (2000 + year);
    if (year < 1900) return (1900 + year);
    return year;
}

var dateError = new Date(document.lastModified);
var date = new Date(getCorrectedYear(dateError.getYear()),dateError.getMonth(),dateError.getDate());

document.write('Last modified: ' +
  date.getDate() + ' ' +
  months[date.getMonth()] + ' ' + y2k(date.getYear()));
//-->