We today support more than 90 percent of Fortune 500 companies globally, which means 500 of the world’s largest companies use Red Hat technologies. 12,200 employees. It has grown very fast. When I joined Red Hat seven years ago, only 4,000 employees, so [non-English speech] .