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