function write_time() {
document.write("11:57 Thursday 09 Sep 2010");
}
write_time();