So when can these guys start selling those shares off?