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