The U.S. Treasury has issued 13-year zero coupon bonds with a face value of $1,000. Assume that coupon payments are normally semiannual. What will be the current market price of these bonds if the opportunity cost for similar investments in the market is 7.54 percent?