A corporation issued 30-year, noncallable, 5.5% annual coupon bonds at their par value of $1,000 five years ago. Today, the market interest rate on these bonds is 7.5%. What is the current price of the bonds, given that they now have 25 years to maturity?