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