The bonds have a 7.0% coupon rate, payable semiannually, and a par value of $1,000. They mature exactly 10 years from today. The yield to maturity is 11%, so the bonds now sell below par. What is the current market value of the firm's debt?