4,525 coins