Question: what is the city code of student id 1001
SQL: SELECT city_code FROM STUDENT WHERE StuID  =  1001