Ten$-$year zero coupon bonds issued by the U$.$S$.$ Treasury have a face value of $$1,000$ and interest is compounded semiannually. If similar bonds in the market yield $9\mathrm{.}5$ percent, what is the value of these bonds?