微软CEO Satya Nadella：总体人头数相对持稳。