4,250,000 coins