It seems like everything is up besides the Hong Kong stock market, what happened?