Another quarter billion plus dollars of the total amount sought was earmarked to pay down operating debt accrued in past years.
Another quarter billion dollars or more was earmarked to pay down debt.
Another quarter billion dollars or more was earmarked to pay bonuses.