Población (estimación de 1987): 11 002 habitantes.