4,046,462 coins