9,250,000 coins