var months=['January','February','March','April','May','June','July','August','September','October','November','December'];var dateObj=new Date(document.lastModified);var lmonth=months[dateObj.getMonth()];var date=dateObj.getDate();var fyear=dateObj.getYear();if(fyear<2000){fyear=fyear+1900;}
document.write("This page last updated on "+lmonth+" "+date+", "+fyear+".");