int(80512)