As Mike stated in SEC: "We’re also taking opportunities to build bigger, broader people manager roles with deeper spans and fewer layers, to provide longer-term growth opportunities. At the same time, we’ll also be decreasing our reliance and spend on external workers and resources."
So its really more than 5000.