var modified = new Date(document.lastModified);
   var year = modified.getFullYear();
   var month_index= modified.getMonth();
   var date = modified.getDate();
   month = new Array ("January","February","March","April","May","June","July","August","Septempber","October","November","December");
   document.write( month[month_index] + " " + date+", "+year);