3,900,000 coins