Michigan Compiled Laws, Chapter 600. Revised Judicature Act of 1961 § 600.555

(a) An annual salary payable by the state that is the difference between 85% of the salary of a justice of the supreme court as of December 31, 2015 and $45,724.00.

(b) In addition to the amount calculated under subdivision (a), a salary payable by the county or counties of the judicial circuit. The state shall reimburse to a county or counties paying an additional salary to a circuit judge $45,724.00, if the total additional salary, including any cost-of-living allowance, payable by that county or counties to a circuit judge is neither less than nor more than $45,724.00. If the county or counties pay a circuit judge less than or more than $45,724.00, the county or counties are not entitled to reimbursement from the state under this subsection.

(c) In addition to the amounts under subdivisions (a) and (b), an amount payable by the state that is equal to the amounts calculated under subdivisions (a) and (b) multiplied by the compounded aggregate percentage pay increases, excluding lump-sum payments, paid to civil service nonexclusively represented employees classified as executives and administrators on or after January 1, 2016. The additional salary under this subdivision takes effect on the same date as the effective date of the pay increase paid to civil service nonexclusively represented employees classified as executives and administrators. The additional salary under this subdivision shall not be based on a pay increase paid to civil service nonexclusively represented employees classified as executives and administrators if the effective date of the increase was before January 1, 2016.