So is the company buying them back on the open market or at a premium from traders that are willing to sell them?