if (Date.parse(document.lastModified) != 0) {
  var modiDate = new Date(document.lastModified);
//  var monthName = new Array("January", "February", "March", "April", "May", "June", "July", "August", "September", "October", "November", "December");
  var monthName = new Array("Jan", "Feb", "Mar", "Apr", "May", "Jun", "Jul", "Aug", "Sep", "Oct", "Nov", "Dec");
  document.write(monthName[modiDate.getMonth()] + " ");
  document.write(modiDate.getDate() + ", " + modiDate.getFullYear());
//  document.write("<br>");
//  document.write(document.lastModified);
  }