// JavaScript to generate a "last modified" message in the bottom 
// right hand corner of a page
//
//document.write("<p class='lastmodified'>",
//               "Last Modified: ", document.lastModified,
//               "</p>");

month = new Array();
month[0] = "Jan";
month[1] = "Feb";
month[2] = "Mar";
month[3] = "Apr";
month[4] = "May";
month[5] = "Jun";
month[6] = "Jul";
month[7] = "Aug";
month[8] = "Sep";
month[9] = "Oct";
month[10] = "Nov";
month[11] = "Dec";

lastmod = document.lastModified;
// document.write("<br><br><p>", lastmod, lastmod.length, "</p>");
if(lastmod.length == 31)
{
   lastmod = lastmod.substr(0,27);
}
lastmodmsec = Date.parse(lastmod);
if(lastmodmsec != 0)
{
   lastmoddate = new Date();
   lastmoddate.setTime(lastmodmsec); 
   year=lastmoddate.getYear();
   // Some MIE versions give a 2 digit year. Other versions of MIE
   // and older Netscapes give a 4 digit year while Netscape 4.70 gives
   // years since 1900 (i.e. 2000 ==> 100) !!!!
   if(year < 80)
   {
      year += 2000;
   }
   else
   {
      if(year < 1900)
      {
         year += 1900;
      }
   }
   document.writeln("<p class='lastmodified'>",
                    "Last Modified: ", 
                    lastmoddate.getDate(), "-",
                    month[lastmoddate.getMonth()], "-",
                    year, "</p>");
}