document.write ('12042');