var month = new Array('January','February','March','April','May','June','July','August','September','October','November','December');
 var d = new Date(document.lastModified);
 var mod_date = d.getDate();
 var mod_month = d.getMonth(); 
 var mod_year = d.getFullYear();
 document.write("Last updated " + mod_date + " " + month[mod_month] + " " + mod_year);