document.write("10042");