Do you know how many of those were minted?