splenectomy.