6,431,999 coins