...sians sent forth four thousand colonists and accepted any other Greeks who wished to have a part in the colony; the latter numbered not less than six thousand. The result was that they made Trachis a city of ten thousand inhabitants, and after portioning out the territory in allotments they named the city Heracleia.