[Splenectomy combined with endoscopic variceal ligation in treating portal hypertension].