What date is the IRS releasing funds?