Is encephalitis more prevalent in boys or girls?