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 getCorrectedYear(year) {
    year = year - 0;
    return year;
}
function y2k(number) { return (number < 1000) ? number + 1900 : number;
}
var updated = new Date(document.lastModified);
var year = y2k(getCorrectedYear(updated.getYear()));
var month = months[updated.getMonth()];
var day = days[updated.getDay()];
var date = updated.getDate();
var hours = updated.getHours();
if (hours >= 12) {
Time = " P.M.";
}
else {
Time = " A.M.";
}
if (hours > 12) {
hours -= 12;
}
if (hours == 0) {
hours = 12;
}
var mins = updated.getMinutes();
if (mins < 10) {
mins = "0" + mins;
}
document.write('Last updated on ' + day + ', ' + 
	       month + ' ' + 
	       date + nths(date) + ', ' +
	       year + ' at ' +
	       hours + ':' + mins + Time + ' EST');