äro , enligt innevarande års arvodestat , omkring 10,000 personer anställda i ordinarie t jänst.