document.write("<font size='-5'>last updated 8-20-08</font>")