87. Public Employees Health Fund--Repealed