There hasn’t been a release that it’s resumed trading so most likely new sometime this morning, resumption of trading this afternoon?