<!--
var MonthArray = new Array('January','February','March','April','May','June',
  'July','August','September','October','November','December');
function formatdate(RawDate) {
  document.write(RawDate.getDate(),' ',MonthArray[RawDate.getMonth()],' ',(getCorrectedYear(RawDate.getYear())));
}

function getCorrectedYear(year) {
  year = year - 0;
  if (year < 83)
  {
    return (2000 + year);
  } else {
    if (year < 2000)
    {
      return (1900 + year);
    } else {
      return year;
    }
  }
}

document.write('<FONT CLASS="small">Last modified ');
formatdate(new Date(document.lastModified));
document.write('</FONT>');
// -->
