4 ms·

Surely, it’d be written in a .txt file!