Electrolyte diffusion in relation to the acidity regulation of the gastric juice.