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