function write_time() { document.write("Monday 24 Sep 2018"); } write_time();