RCW 35.27.390
Employees' group insurance.
See RCW
35.23.460
.