<!--

var docdate = new Date(document.lastModified);
var month = docdate.getMonth();

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

var year = docdate.getYear()
if (year < 1000) {
  year = year + 1900;
}

document.write(
"Last updated " 
+ docdate.getDate()  + " " 
+ monthstr  + " " 
+ year
);

// -->