//      function dayofWeek(day)
//      {
//       switch( day ) {
//       case 0: s = "Sunday"; break;
//       case 1: s = "Monday"; break;
//       case 2: s = "Tuesday"; break;
//       case 3: s = "Wednesday"; break;
//       case 4: s = "Thursday"; break;
//       case 5: s = "Friday"; break;
//       case 6: s = "Saturday"; break;
//       default: s = "Unknownday"
//       }
//       return s;
//      }
      function monthofYear(mon)
      {
       switch( mon ) {
       case 0: s = "January"; break;
       case 1: s = "February"; break;
       case 2: s = "March"; break;
       case 3: s = "April"; break;
       case 4: s = "May"; break;
       case 5: s = "June"; break;
       case 6: s = "July"; break;
       case 7: s = "August"; break;
       case 8: s = "September"; break;
       case 9: s = "October"; break;
       case 10: s = "November"; break;
       case 11: s = "December"; break;
       default: s = "Unknownmonth"
       }
       return s;
      }