A company has 12-year bonds outstanding that pay an 3.8 percent coupon rate. Investors buying the bond today can expect to earn a yield to maturity of 6.7 percent p.a.. What should the company's bonds be priced at today? Assume annual coupon payments and a face value of $1000. (Rounded to the nearest dollar)