function lastUpdate(){
update = new Date(document.lastModified);
theMonth = update.getMonth() + 1;
theDate = update.getDate();
theYear = update.getYear();
document.writeln("<FONT size=-3 color='#666666' face='ARIAL,HELVETICA'>" +
"<P align='RIGHT'>Last updated: " + theMonth + "/" + theDate + "/" + theYear 
+ "</FONT>");
}