int(142542)