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