市场消息：高盛将裁员4000人。