9,712 coins