How much debt is Brandeis worth?