Washington Revised Code RCW 35.27.390: Employees' group insurance.