The surgical treatment of diverticulitis of the colon.