<!--
now = new Date();
function print_date() {
 var day = now.getDay();
 var dayname;

 if (day==0)dayname="Sunday";
 if (day==1)dayname="Monday";
 if (day==2)dayname="Tuesday";
 if (day==3)dayname="Wednesday";
 if (day==4)dayname="Thursday";
 if (day==5)dayname="Friday";
 if (day==6)dayname="Saturday";

 var monthNames = new Array("January","February","March","April","May","June","July","August", "September","October","November","December");
 var month = now.getMonth();
 var monthName = monthNames[month];
 var year = now.getYear();

 if ( year < 1000 ) year += 1900;
 var datestring = dayname + ', ' + now.getDate() + ' ' + monthName + ', ' + year;
 document.write('<NOBR>&nbsp;' + datestring + '</NOBR>');
}
//-->

