Tiene una población de 9353 habitantes ( 2018 ) .