har omkring 9,500 invånare.