There shall be 16 court of appeals judges. Three judges shall be elected from the district specified in s. 752.17, 4 judges shall be elected from each of the 2 districts specified in ss. 752.13 and 752.15 and 5 judges shall be elected from the district specified in s. 752.19.