ok 71371