function getFullYear(theDate) {            
     var year = theDate.getYear();
     if (year <   80) year += 2000;     
     if (year < 1000) year += 1900;     
     if (year < 1997) year  = 1999;
     return year;
}
monthNames = new Array("January", "February", "March", "April", "May", 
     "June", "July", "August", "September", "October", "November", "December");
modDate    = new Date(document.lastModified);

document.write("Last Modified: " + modDate.getDate() + "-" + 
     monthNames[modDate.getMonth()] + "-" + getFullYear(modDate) + ".");