document.write("10142")