Well the order was somewhat unexpected. Surprised about IBM, HP and Dell.
Google employee's time brings no revenue per se. Headcount is independent of market size (the only limiting thing is customer support whose max is O(log(customer)), and we are talking about google ...)