Thank you for the question.
I don't have, of course, statistics on that, because they are kept by the federal government as to whether all the money has gone, but I understand by this morning's release that in fact all the stimulus moneys have been allocated, as I mentioned.