<!-- Hide the script from non-Javascript browsers
time_of_day();
todays_date();
document.writeln("<FONT size=1 COLOR=#000000>" + time_statement + " " + document.day + ", " + document.month + " " + today.getDate() + "" + date_statement + "</font>");
// -- End Hiding Here -->
