9,500 coins