document.write("7042");