Role of the vagus nerves in gastric secretion of mucus.