There shall be five district judges in the ninth judicial district.