Table schema:
CREATE TABLE table_name_55 (population__2008_ INTEGER, korean VARCHAR)

Question: What is the 2008 population in 함흥 (Ham Hyung)?
SQL: SELECT SUM(population__2008_) FROM table_name_55 WHERE korean = "함흥"