string(div != nil)
