NRS 3.017 - Number of district judges for Seven...
For the Seventh Judicial District there must be two district judges.
(Added to NRS by 1981, 1954; A 1991, 2170)