Población 9 217 (2008 est).