大衛勇士的名字記在下面：他革捫人約設巴設，又稱伊斯尼人亞底挪，他是軍長的統領，一時擊殺了八百人。