<!-- 
time_of_day();
todays_date();
document.writeln("<p align=right>" + time_statement + " " + document.day + ", " + document.month + " " + today.getDate() + ".&nbsp;" + date_statement + "<FONT COLOR=#ffffff>");
//-->