Judges’ salaries ₦341.6bn