3 ms·

But 10% of 63,000 is 6,300, which are the ones affected and probably on the receiving end of severance pay.