Craniopharyngioma in children.