3,557 coins