Contaba con 10 003 habitantes en 2018 (INE).