function k2ate()
{editdate=new Date(document.lastModified);
since = editdate.getTime();
if (since < 0) {if (since < (-25508*86400000)) since+= (36524*86400000);
 else since+= (36525*86400000);
 editdate.setTime(since);}
editdays = editdate.getDate();
editmonth = editdate.getMonth();
edityear = editdate.getYear();
if (edityear < 1899)  edityear += 1900;
if (editmonth == 0) emon = "January"; else if (editmonth == 1) emon = "February"; else if (editmonth == 2) emon = "March"; else if (editmonth == 3) emon = "April"; else if (editmonth == 4) emon = "May"; else if (editmonth == 5) emon = "June"; else if (editmonth == 6) emon = "July"; else if (editmonth == 7) emon = "August"; else if (editmonth == 8) emon = "September"; else if (editmonth == 9) emon = "October"; else if (editmonth == 10) emon = "November"; else if (editmonth == 11) emon = "December"; else emon = editmonth;
document.write("<center>This page last updated " + editdays + " " + emon + " " + edityear + "<\/center>");}