document.write("     42093");