Firstly the number is 1200, @BernieSanders, not 12000 who were killed on 0ct 7. Latest civilian number after investigation is around 695.