Mortality of the surgical treatment of diverticulitis.