that was my thought too, my impression was they went under several years ago, so not only they has 14k employee, but they has 14k employee who can be let go

anyway, i visited their wikipedia page, say they have 86k employee and make 24 billion a year

i tried to understand from their webpage what they sell now, but it seem this will need more time to understand , the page is all over the place with generic terms