Карточка события: Сражения

Сколько человек было у Гедеона, когда он разгромил армию из 135 000 мадианитян?