They’re not stock options, they’re RSUs or restricted stock units. And you can sell them whenever you want, inside the quarterly trading windows. It’s basically cash, it’s just tied to the company’s performance.