document.write("     42023");