3 ms·

Thank you: a useful correction. I would edit the comment, if it were still within the editing window.