CREATE TABLE table_25200461_9 (population VARCHAR(255), city VARCHAR(255))
What is the population if the city is Gilroy?
    
SQL: SELECT population FROM table_25200461_9 WHERE city = "Gilroy"