2 ms·

But they're clearly doing their best to minimise file size, and so using // cuts down on a few characters.