Carnival Inc. issued bonds five years ago with par $1000 and had a 20-year life when it was issued. When it was issued, the coupon rate was 12%. After five years, now, the current market rate for these bonds is 10%. What should one pay for these bonds now?