There shall be three district judges in the seventh judicial district.