In comparison, the federal judicial system has only about 840 judges.
連邦裁判所の場合は判事の総数が840人である。