function write_time() { document.write("Saturday 20 Jan 2018"); } write_time();