25,500,000 coins