La ciudad tiene 12 640 habitantes.