Which of the following is credited to the consolidated revenue fund?