document.write ("10042");