“ Esta es la lista de los héroes º de David: Jasobán, hijo de Jacmoní y jefe de los Tres, que una vez mató a ochocientos con su lanza. Después Eleazar, el hijo de Dodó el ajotita, que fue uno de los tres héroes. ”