At the 2000 census , the population was 12,938 .
At the 2000 census the population was 12,938 .