6,334,917 coins