greet(toJSON(1))
