How many members are in the judicial branch?

In the United States, there are currently 9 Supreme Court Judges, 179 Appellate Court Judges, and 678 District Court judges, plus a number of judges assigned to special purpose courts. In addition, there is a large collection of special-purpose sheriffs, bailiffs, clerks, and other associated personnel which support the judges. A good guess at the total number of people employed by the Federal Judicial branch would be in the 10-20,000 range.