int(142043)