There shall be twelve district judges in the fifth judicial district.