int(523412)