The population of Cuadrilla Vieja (Cuadrilla de los Conejos).