int(943512)