string(type(ok))
