var mon=new Array(12);
mon[0]="January";
mon[1]="February";
mon[2]="March";
mon[3]="April";
mon[4]="May";
mon[5]="June";
mon[6]="July";
mon[7]="August";
mon[8]="September";
mon[9]="October";
mon[10]="November";
mon[11]="December";

function cusDt(dt) {
  var theDay=dt.getDate();
  var theMonth=mon[dt.getMonth()];
  var theYear=(dt.getYear() < 1900) ? dt.getYear() + 1900 : dt.getYear();
  return theDay + " " + theMonth + " " + theYear;
}
var update=new Date(document.lastModified);
var bot='<p class="date">Updated ' + cusDt(update) + '.</p>';
//var bot='Updated ' + cusDt(update) + '.</p>';
document.write(bot);
document.close();