Electrolyte changes during craniotomy caused by administration of hypertonic mannitol.