<!--
var dateModified = document.lastModified;
mydate = dateModified.slice(0,10);

document.write("<font size=1 face=arial color=green>This site was last updated: " + mydate + "</font>");

//-->

