4,145 coins