Gastric carcinoma in children.