5,223 coins