The 1200 casualties on Oct 7 included 283 Israeli soldiers and 57 policemen. 859 civilians were killed. Doesn't change anything but it's worth using the correct figures.