876 habitantes poblaban Villaverde en 1849.