Last time I checked it had 17k employees total (source: I worked there).