document.write ("7042");