[Polyphonie]

That's 118,584 - 7,800 employees that were laid off in July or 2015 (the 118K number was from March 2015).