It's actually more than that (closer to $17B) when capital leases are taken into account. Debt is one of the real weak points of Delta, as service of that debt accounts for $1.3B of our cash each year.