function DocumentLastModified(){
    var modDate = new Date(document.lastModified);
    document.write("This page last modified ");
    document.write(modDate.getMonth() + 1);
    document.write("/");
    document.write(modDate.getDate());
    document.write("/");
    if(navigator.appName == "Netscape"){
      document.write(modDate.getYear() + 1900);
    }else{
      document.write(modDate.getYear());
    }
    return;
  }