what is the population if the city is gilroy?
47808.0