function write_time() {
document.write("Wednesday 08 Sep 2010");
}
write_time();