What is the population of Andalusia city, Alabama?

The population of Andalusia city was 8719 as of the 2020 census.