4 ms·

And what percentage of time is spent by regular employees not working on whatever they're paid to work on?