      <!-- hide script from old browsers
      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;
      }
      
      lastmod = document.lastModified     // get string of last modified date
      lastmoddate = Date.parse(lastmod)   // convert modified string to date
      if(lastmoddate == 0){               // unknown date (or January 1, 1970 GMT)
         document.writeln("Last Modified: Unknown")
      } else {
      d = new Date(lastmod);
      mon=monthofYear(d.getMonth());
      dte=d.getDate();
      year=d.getFullYear();
      document.write("Last Update: ", dte + " " + mon + " " + year);
      }// end hiding script from old browsers -->