function write_time() { document.write("22:19 Monday 23 Oct 2017"); } write_time();