6,999,987 coins