If the total reduction in spending is $5.5 Billion (with a B), then that puts the 30% reduction in labor (AKA layoffs) at a total of $1.65 Billion.
1.65 Billion divided by 7,000 is an average of $235,000 per layoff or eliminated job. You need to factor in about a third of that is not actual salary, but company costs in benefits, 401K, payroll taxes, etc. So the average salary per layoff is probably closer to $160,000 per year.
That's middle management and white collar jobs. For every 45 year old Director or senior management type earning $200,000 per year that gets laid off, there will be a couple of 28 year old cubicle dwellers earning $85,000 per year that get laid off.