The proceeds of every issue of coins denominated in euro or in cent and provided under section 11 shall be paid into the general fund of the Central Bank of Ireland and carried therein to the credit of the currency reserve.