<!--
d = new Date();
document.write(format_time(d));
// -->