8,557 coins