The money will be used to pay down debt.