3 ms·

Of course, I got about twice as much karma for the GP comment than I have for posting actual useful stuff.