toJSON(string(1))
