if wfun in [7, 8, 9]: