When it was time to sell.