
              <!--
              function create_array(size) {
                 this.length = size
                 for (var i = 1; i <= size; i++) this[i] = null;
                 return this;
                 }
              var today = new Date();
              var day_text = new create_array(7);
              day_text[0] = 'Sunday';
              day_text[1] = 'Monday';
              day_text[2] = 'Tuesday';
              day_text[3] = 'Wednesday';
              day_text[4] = 'Thursday';
              day_text[5] = 'Friday';
              day_text[6] = 'Saturday';
              var month_text = new create_array(12);
              month_text[0] = 'January';
              month_text[1] = 'February';
              month_text[2] = 'March';
              month_text[3] = 'April';
              month_text[4] = 'May';
              month_text[5] = 'June';
              month_text[6] = 'July';
              month_text[7] = 'August';
              month_text[8] = 'September';
              month_text[9] = 'October';
              month_text[10] = 'November';
              month_text[11] = 'December';
              var p_day = today.getDay();
              var p_date = today.getDate();
              var p_month = today.getMonth();
              var p_year = today.getYear();
              if (p_year < 100) p_year += 1900;
              if ((p_year > 99) && (p_year < 130)) p_year += 1900;
              document.write(day_text[p_day] + ' ' + p_date + ' ' + month_text[p_month] + ' ' + p_year);
              //-->