document.write("12042")