6,425,000 coins