string(div != greet)
