9,643 coins