"general manager"

means the general manager mentioned in section 13;