var pong;



function makeArray(n){

  this.length = n;

  for (i=1;i<=n;i++){

    this[i]=0;

  }

  return this;

}

// standard date display function with y2k compatibility


function displayDate() 

{

  var this_month = new makeArray(12);

    this_month[0]  = "January";

    this_month[1]  = "February";

    this_month[2]  = "March";

    this_month[3]  = "April";

    this_month[4]  = "May";

    this_month[5]  = "June";

    this_month[6]  = "July";

    this_month[7]  = "August";

    this_month[8]  = "September";

    this_month[9]  = "October";

    this_month[10] = "November";

    this_month[11] = "December";

  var today = new Date();

  var day   = today.getDate();

  var month = today.getMonth();

  var year  = today.getYear();

  if (year < 1000) {

    year += 1900;

  }



  return(this_month[month]+" "+day+", "+year);

}