user: ### NOW ANSWER:
Question: What is the 2008 population in 함흥 (Ham Hyung)?
Columns: ['City', 'Korean', 'Hancha', 'Province', 'Population (2008)']
Types: ['text', 'text', 'text', 'text', 'real']
Sample row: ['Pyongyang', '평양', '平壤', 'Direct-administered city', 3255288.0]
SQL:

assistant: SELECT SUM("Population (2008)") FROM "Table" WHERE "Korean" = '함흥';