int(80247)