document.write("     42");