int(12042)