function makeArray(n){
  this.length = n;
  for (i=1;i<=n;i++){
    this[i]=0;
  }
  return this;
}

function displayDate() {
  var this_month = new makeArray(12);
    this_month[0]  = "Jan.";
    this_month[1]  = "Feb.";
    this_month[2]  = "Mar.";
    this_month[3]  = "Apr.";
    this_month[4]  = "May";
    this_month[5]  = "June";
    this_month[6]  = "July";
    this_month[7]  = "Aug.";
    this_month[8]  = "Sept.";
    this_month[9]  = "Oct.";
    this_month[10] = "Nov.";
    this_month[11] = "Dec.";

  var today = new Date();
  var day   = today.getDate();
  var dow   = today.getDay();
  var month = today.getMonth();
  var year  = today.getYear();
  if (year < 1000) {
    year += 1900;
  }
  
  return(this_month[month] + " " + day + ", " + year + "&nbsp;&nbsp;");
}