9,525 coins