Measurement of cerebrospinal fluid output through external ventricular drainage in one hundred infants and children: correlation with cerebrospinal fluid production.