All circuit judges who, on July 1, 1967, are participating in an insuranceprogram for county employees are hereby deemed to be county employees for the purpose of such participation even though there is no actual cash salary supplement received from the county.
Congratulations! You're now froogled up on §112.081 of the Florida Statutes!
Feel free to use it throughout your financial/insurance life.