Mirandillas Tiene 1300 habitantes.