int(742143)