Input: How many federal district court judges are there in the united states?
Output: 

 How many article III federal district court judges are there in the united states? 
 673