Looks like only for three weeks, enough time to get the federal employees paid.