712,654 coins