document.write("74142")