function write_time() { document.write("20:45 Tuesday 17 Jul 2018"); } write_time();