sedan krigets början till 9,000 döda och 3.000 fängna.