 <!--    //Prints last modified date
 
     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;
       }  


       var theDate = document.lastModified
       var lastmoddate = Date.parse(theDate)   
       if(lastmoddate == 0){               
         document.writeln("Last Modified: Unknown")
       } else {
         d = new Date(theDate)
         month = monthofYear(d.getMonth())
         dte = d.getDate()
         year = d.getYear()
         if (year < 1000)  year=year+1900
         document.write("Last Modified: ",  month + " " + dte + ", " + year);
       }
 //-->