2 ms·

All right, the deficit is a bit lower than it otherwise would have been, if they had spent the other money also.