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