4 ms·

well-played, eric.