• 9,545 inhabitants