int(842143)