The surgical management of hypersplenism.