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 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(year) { 
   if (year < 70) return(2000 + year);
   if (year < 1900) return(1900 + year);
}

var date = new Date(document.lastModified);

document.write("<hr><p style=\"font-family: courier; font-size: 12px\"> Last modified on " + 
    months[date.getMonth()] + " " + date.getDate() + nths(date.getDate()) + ", " + y2k(date.getYear()) + "</p>");