SCHEMA:
CREATE TABLE table_name_55 (population__2008_ INTEGER, korean VARCHAR)
User Question:
What is the 2008 population in 함흥 (Ham Hyung)?


SELECT SUM(population__2008_) FROM table_name_55 WHERE korean = "함흥"