FYI every article on this is getting the math wrong. It's 18,000 with today plus the layoffs in November (which the press quoted at 10,000), not 18,000 today.

Assuming the press was correct in November, it's 8,000 today.