omkring 9 , 000 , af hwilka dock inga högre funktionärer.