You don't have to guess. These are publicly owned corporations. Their published balanced sheets include debt.