int(142543)