en Pinechas, de zoon van Eleazar, was in het verleden hun hoofd geweest: dat Jahwe met hem zij!