Database: allergy_1
Question: How many students live in HKG?
SQL: select count(*) from student where city_code  =  "hkg"