Do you know at what time the futures expire?