if( Date.parse(document.lastModified) != 0)
   {
     var myServer = "MS";
     var mm = new Array( "January", "February", "March", "April", "May", "June", "July", "August", "September", "October", "November", "December" );
     var d = new Date(document.lastModified);
     var dyear = d.getYear();
     var httpRe = /^http:/;
     if( dyear < 1000 ) // a bug in the Netscape 6.0 browswer
       dyear = (dyear % 100) + 2000;
     var ddate = mm[d.getMonth()] + " " + d.getDate() + ", " + dyear;
   }