int(942143)