// 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: " + monthName[modiDate.getMonth()] + " "); 
document.write(modiDate.getDate() + ", " + modiDate.getFullYear()); }