( Befolkningen i Alajuela uppgafs år 1880 till 10,000 och i Heredia till 17,000 personer .)