cantidad de habitantes de juan arias