Microsoft is now worth more than Google.