// 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("January", "February", 
"March", "April", "May", 
"June", "July", "August", 
"September", "October", "November", 
"December");
document.write("Last modified: " + modiDate.getDate() + " " + monthName[modiDate.getMonth()] + ", " + modiDate.getFullYear());

}