var a;
   a=new Date(document.lastModified);
   lm_year=a.getYear();
   if (lm_year<1000){            //just in case date is delivered with 4 digits
      if (lm_year<70){
      lm_year=2000+lm_year;
      }
      else lm_year=1900+lm_year;
   }                       //end workaround
   lm_month=a.getMonth()+1;
   if (lm_month<10){
      lm_month='0'+lm_month;
   }
   lm_day=a.getDate();
   if (lm_day<10){
      lm_day='0'+lm_day;
   }
   lm_hour=a.getHours();
   if (lm_hour<10){
      lm_hour='0'+lm_hour;
   }
   lm_minute=a.getMinutes();
   if (lm_minute<10){
      lm_minute='0'+lm_minute;
   }
   lm_second=a.getSeconds();
      if (lm_second<10){
      lm_second='0'+lm_second;
   }
   monthName = new Array(12)
   monthName[0] = 'January'
   monthName[1] = 'February'
   monthName[2] = 'March'
   monthName[3] = 'April'
   monthName[4] = 'May'
   monthName[5] = 'June'
   monthName[6] = 'July'
   monthName[7] = 'August'
   monthName[8] = 'September'
   monthName[9] = 'October'
   monthName[10] = 'November'
   monthName[11] = 'December'
   document.write("Last Modified " + monthName[lm_month-1]+'/'+lm_day+'/'+lm_year+' '+((lm_hour>12)?lm_hour-12:lm_hour)+':'+lm_minute+':'+lm_second+' '+((lm_hour>=12)?'P.M.':'A.M.'));