krigstjenst 9 , 000 :—