Why hasn't it dropped yet? Does it really have to wait until after four o'clock, until the US stock market opens?