Actually that 4 billion target is "net" debt. This excludes pension under funding amount.

How much of a bankruptcy claim did the pilots get? Also was the retun on it?