— 6 , 000 , generalinspektören 13 , 000.