9,459 coins