Bed Bug Mattress has a noncallable bond issue outstanding with a face value of $1,000 and a 10 percent coupon rate. The issue makes semiannual coupon payments and matures in 30 years. The bond has a yield to maturity of 12%. What should be the value of the Bed Bug Mattress bonds?