Question: how many federal district court judges are there in the united states
Answer: 673