Answer the following question:

what's the population of st augustine florida?
12,975