if (Date.parse(document.lastModified) != 0) {
 var today=new Date(); // Initialize Date in raw form
  var modiDate = new Date(document.lastModified);
  var monthName = new Array("January", "February", "March", "April", "May", 
   "June", "July", "August", "September", "October", "November", "December");
  document.write("Last updated: <b>" + monthName[modiDate.getMonth()] + " ");
  document.write(modiDate.getDate() + ", " + modiDate.getFullYear()+"</b><br>&copy" + today.getYear()+" <b>Chuming Chen</b>");
  }