document.write ("12042")