document.write("3042");