9.923 habitantes (INE 2017).