NRS 3.011 - Number of district judges for First...
For the First Judicial District there must be two district judges.
(Added to NRS by 1981, 1954)