<!--
now = new Date();
function print_date() {
var day = now.getDay();
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 = now.getDate() + '  ' + monthName + ' ' + year;
document.write('<NOBR> ' + datestring + '</NOBR>');
}

//-->
