4 ms·

But he had to manually capitalize the second letter. iOS doesn't automatically complete "ok" with caps. (As evidenced by this comment.) Edit: typos