10 800 mennesker er faldet for kuglerne, og i 763 tilfælde drejede det sig om medlemmer af sikkerhedstjenesten, i 752 tilfælde var det guerilla-soldater, men alle de andre var almindelige borgere.
A total of 10 800 people have been shot dead: 763 of these were members of the security police and 752 were guerrillas, but the rest were all ordinary citizens.