Según el censo 2000, este tiene una población de 9,501 personas.