CREATE TABLE table_25200461_9 (population VARCHAR(255), city VARCHAR(255))
If the city is Santa Clara, what is the population total number?
    
SQL: SELECT COUNT(population) FROM table_25200461_9 WHERE city = "Santa Clara"