Un censo de la época estimó una población de 13 712 habitantes.