document.write("12042");