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