document.write("9042")