De ellos tres mil eran de las Brigadas Internacionales.