Question: how many federal district court judges are there in the us
Answer: 874