They are obviously off of the market, but they are not counted in the outstanding share count listed on the 10-K.