The time of healing of gastric ulcers: implications as to therapy.