As of the 2020 census, there were 12,721 people, 4,979 households, and 3,137 families residing in the city.
As of the 2020 census, there were 12,721 people, 4,979 households, and 3,137 families residing in the city.