int(943212)