400-500k total staff by some estimates, it's a little hard to know where to draw the lines, and a little hard to do apples-to-apples. Also about 5% total GDP a

400-500k total staff by some estimates, it's a little hard to know where to draw the lines, and a little hard to do apples-to-apples. Also about 5% total GDP applied which is crucial.