Judas learned of it, and he went out to meet him, struck him, and killed him. Many fell wounded to death, and the rest fled.