==Demographics==As of the census of 2000, there were 9,311 people, 3,815 households, and 2,712 families residing in the county.
По данным переписи населения 2000 года в округе проживает 9 311 жителей в составе 3 815 домашних хозяйств и 2 712 семей.