document.write ("12042");