Bij de aanval van Hamas kwamen zo'n twaalfhonderd mensen om het leven.