17!=20