function PageLastUpdated(){
     document.writeln("Last Updated: "+document.lastModified);   
     }