when do the options finish trading on the asx? seems very little time. what were these options worth last trading day before today?