Girard city is located in a county with how many inhabitants ?