
<!-- Hide the script from non-Javascript browsers
time_of_day();
todays_date();
document.writeln("<CENTER><DT><HR>"+time_statement+" Last updated: "+document.day+", "+document.month+" "+today.getDate()+". "+date_statement+"<DT><HR></CENTER><P>")
// -- End Hiding Here --> 

