3 ms·

Plus they'll have increased the deficit by $7B by the time the ink dries on the tax payment check.