7 ms·

Looks like the code got pasted into an editor that wasn't too interested in keeping that character encoding.