Petty Productions Inc. recently issued 30-year $1,000 face value, 12% annual coupon bonds. The market discount rate for this bond is only 7%. What is the current price of this bond?