 More than 3 million people died. That's a huge cost. And those freedom fighters, the numbers are very much disputed. Originally, there is between 40,000 to 80,000, not more than that number, was involved in fighting within the country. But there are other groups which have helped the freedom fighters in the field and others. So the number has now gone to 250.