function write_time() { document.write("06:47 Saturday 15 Dec 2018"); } write_time();