Money that is received as repayment of principal or payment of interest on loans under the Program and that is not appropriated in the State budget may be credited to the Annuity Bond Fund, to be used to pay the principal of or interest on money borrowed by the State and appropriated to the Program.