There shall be nine district judges in the third judicial district.