When Judas therefore saw that the battle was begun, and that the cry of the city went up to heaven, with trumpets, and a great sound,
