Microsoft has lost $9 billion on Bing