1 diverticulectomy	diverticulectomía