Tenía 3.025 habitantes en 2017.