function PageLastUpdated(){
       document.writeln("last updated: "+document.lastModified);   
     }