Perecieron, dícese, 15.000 hombres.