The prophylactic value of gastric mucin in the therapy of post-operative jejunal ulcer