var lastMod = document.lastModified;
var month = new Array("January","February","March",
"April","May","June","July","August","September",
"October","November","December");
var lastDate = new Date(lastMod);
document.write('<center><font size=1 color=#666666 face=verdana>Last update : <b>');
document.write(month[lastDate.getMonth()]+" ");
document.write(lastDate.getDate()+", ");
if (lastDate.getYear()<10)
document.write("200"+lastDate.getYear());
else
document.write(" "+lastDate.getYear());
document.write('</b>');
