document.write("131142")