int(943142)