Are IPOs such a problem for Shanghai?