9,571 coins