I think that number would not include leasing real estate, sir.
We have some numbers here—thanks, Ellen.
The way we break it down, real property would be included. It's actually more like $21.5 billion, the total number I'm working from, and from that there are real property expenditures.