Somewhat inline with their announcements. Last year they were at 86000 employees, and announced two rounds of layoffs totaling 21000 (11000 followed by another 10000). This number seems to line up with that.