int(712456)