Paying down the debt from 17-10 billion will relieve us of about 1 billion a year in debt service. That is three 777's a year in saving.