20150709 unknown: Microsoft: What 7;800 job cuts mean