Instruct: What is the 2008 population in 함흥 (Ham Hyung)?
Output: SELECT SUM Population (2008) FROM table WHERE Korean = 함흥