There is hereby appropriated from the General Fund in the State Treasury, for the purpose of this article, an amount equal to the sum of all of the following:
(a)
The sum, annually, which will be necessary to pay the principal of, and the interest on, the bonds issued and sold pursuant to this article, as the principal and interest become due and payable.
(b)
The sum which is necessary to carry out Section 25386.2, which sum is
appropriated without regard to fiscal years, notwithstanding Section 13340 of the Government Code.