function getnameformonth(monthno) {
  switch (monthno) {
   case  0: result="January";break
   case  1: result="February";break
   case  2: result="March";break
   case  3: result="April";break
   case  4: result="May";break
   case  5: result="June";break
   case  6: result="July";break
   case  7: result="August";break
   case  8: result="September";break
   case  9: result="October";break
   case 10: result="November";break
   case 11: result="December";break
  }
  return result;
 }
 
 function getnameforday(dayno) {
  switch (dayno) {
   case 0: result="Sunday";break
   case 1: result="Monday";break
   case 2: result="Tuesday";break
   case 3: result="Wednesday";break
   case 4: result="Thursday";break
   case 5: result="Friday";break
   case 6: result="Saturday";break
   default:result="";
  }
  return result;
 }
 function pad(theno) {
  if (theno==0) {
   result="00";
  } else if (theno<10) {
   result="0"+theno;
  } else {
   result=""+theno;
  }
  return result;
 }
  
 function writemoddate() {
  thedate=new Date(document.lastModified);
  daypart=getnameforday(thedate.getDay());
  monthpart=getnameformonth(thedate.getMonth());
  datepart=thedate.getDate();
  yearpart=thedate.getYear();
  hourpart=thedate.getHours();
  minpart=pad(thedate.getMinutes());
  secpart=pad(thedate.getSeconds());
  newdatestr= daypart+", "+datepart+" "+monthpart+" "+yearpart+", "+
              hourpart+":"+minpart+":"+secpart;
  document.write(newdatestr);
 }