Today, you want to sell a $1,000 face value zero coupon bond you currently own. The bond matures in 3.5 years. How much will you receive for your bond if the market yield to maturity is currently 6.19 percent? Ignore any accrued interest. Assume semiannual compounding.