Is this in addition to the 10,000 people Microsoft announced in it's layoffs 3-weeks ago?