toJSON(string(greet))
