/*
Prints out the date the document was last modified.
@author John Adams, 5/9/2001
*/
<!--
function modDate(){
   var modDate = new Date(document.lastModified);
   document.write(modDate.getDate());
   document.write("/" + (modDate.getMonth() + 1));
   document.write("/" + modDate.getFullYear());
}
//-->