I think that’s 20% of the workforce not the population overall. That’s still a large number but its not the whole city. Also nobody is ruining the city, SF is doing just fine these days.