I think it is a cover play before end of the year. Is the market open on the 31st? if so is it all day or half ?