en hij leverde die aan de Gibeonieten uit. De Gibeonieten brachten hen naar de berg en hingen hen daar voor Jahwe op; zo vonden zij alle zeven de dood. Het was in de eerste dagen van de oogst, bij het begin van de gersteoogst, toen zij ter dood gebracht werden.