ON THE TOTAL NUMBER OF DIFFERENT REGULARLY MINTED U.S. COINS