type(div != div)
