IRS Workforce Reduced by 25%