9,217 coins