Text this: Salaries of the justices of the courts of the District of Columbia.