till 7,000 och att den tjensteman,