Gastric diverticulum: an uncommon cause of abdominal pain in a 12 year old.