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