<question>: What is the 2008 population in 함흥 (Ham Hyung)? <context>: CREATE TABLE table_name_55 (population__2008_ INTEGER, korean VARCHAR)
SELECT SUM(population__2008_) FROM table_name_55 WHERE korean = "함흥"