 They don't pay a lot in taxes. Well, it is a lot, Jack, $19.033 billion in last year. Is that a lot? That's what Microsoft paid. It depends on what they made. I would agree. I mean, if I'm paying taxes at, say, 30% or 35%, were their taxes at 35% or were they less?