int(523475)