<!-- 
        // rev03.29.1999 -- DO NOT MODIFY! -- Begin date display function with y2k compatibility
        var pong;
        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]  = "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 < 100){
                        year += 1900;
                }
          return(this_month[month]+" "+day+", "+year);
        }
        // rev03.29.1999 -- DO NOT MODIFY! -- End date display function with y2k compatibility
        function setPage (newAddress) {
                if (newAddress != "") { window.location.href = newAddress; }
        }
// -->