toJSON(type(1))
