Original: The 2001 census recorded a population of 12,589 in the Argostoli municipality .
Simplified: Its population is 12.589 according to 2001 census .