A large part of it is probably now chilling in the OTC desks. Though I doubt they could cough up 9 billy just like that, so some of it must’ve been actually sold on spot.