9,574 coins