Table schema:
CREATE TABLE table_25200461_9 (population VARCHAR, city VARCHAR)

Question: What is the population if the city is Gilroy?
SQL: SELECT population FROM table_25200461_9 WHERE city = "Gilroy"