Defined
13% minted