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