( Ws ^ / ^ -7