int(943143)