En 1801, la población era de 9.400 personas.