334.131 Department employees’ benefit fund.—The department is authorized to create and operate an employees’ benefit fund for employees of the department. The proceeds of the vending machines located in premises occupied by the department shall be paid into the fund, to be used for such benefits and purposes as the department may determine.