7 ms·

How much was the domain?