int(523712)