There shall be four district judges in the sixth judicial district.