Treatment of diverticulitis of the colon; choice of operation.