extra-budgetary sources of revenue