function makeArray0() {
for (i = 0; i<makeArray0.arguments.length; i++)
this[i] = makeArray0.arguments[i];
}
var months = new makeArray0('Jan','Feb','Mar',
'Apr','May','Jun','Jul','Aug','Sep',
'Oct','Nov','Dec');
function nths(day) {
if (day == 1 || day == 21 || day == 31)
return 'st';
else
if (day == 2 || day == 22)
return 'nd';
if (day == 3 || day == 23)
return 'rd';
else return 'th';
}
function y2k(number) { return (number < 1000) ? number + 1900 : number;
}
var last = document.lastModified;
var date = new Date(last);
document.write("Last updated on " + date.getDate() + nths(date.getDate()) + " " +
months[date.getMonth()] + ", " +
(y2k(date.getYear())) + ".");
//-->