<!--
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 + ', ' + monthName + ' ' + now.getDate() + ', ' + year;
document.write('<NOBR>' + datestring + '</NOBR>');
}
//-->

