There is hereby appropriated from the General Fund, for the purpose of this chapter, an amount that will equal the total of the following:
- (a) The sum annually necessary to pay the principal of, and interest on, bonds issued and sold pursuant to this chapter, as principal and interest become due and payable.
- (b) The sum which is necessary to carry out the provisions of Section 5733, appropriated without regard to fiscal years.