The surgical treatment of peptic ulcer.