What should the WHC match at WM40 be now?