toJSON(div != greet)
