In accordance with Chapter 41.40 RCW, the city is a participating employer, and every eligible employee a member, in the Washington Public Employees’ Retirement System. (1961 code § 3.86.015.)