document.write(12042);