How much is the debt?