ABC Inc. bonds have a $1,000 face value. The promised annual coupon is $71. The bonds mature in 10 years. There are 10 coupon payments of $71 each starting a year from now, and the last payment 10 years from now is coupon plus face.

The markets required return for these bonds is 8%. What is the price of these bonds?