4 ms·

Doesn't matter now; he resigned.