La ciudad contaba ya con unos 10 000 habitantes.