3,872,846 coins