Number of circuit court judges; Fifteenth and Seventeenth Judicial Circuits. Increases the number of circuit court judges in the Fifteenth Judicial Circuit from eight to nine, and decreases the number of such judges in the Seventeeth Judicial Circuit from four to three.