so how much was the debt?