// JavaScript to create a nicely formatted last updated page

if (Date.parse(document.lastModified) != 0) {
var modiDate = new Date(document.lastModified);
var monthName = new Array("Jan", "Feb", "Mar", "Apr", "May", "Jun", "Jul", "Aug", "Sep", "Oct", "Nov","Dec");
document.write("Last updated:" + monthName[modiDate.getMonth()] + " ");
document.write(modiDate.getDate() + ", " + 
modiDate.getFullYear());
}