CREATE TABLE table_name_17 (population INTEGER, city VARCHAR(255))
What is the population of Kragerø?
    
SQL: SELECT MIN(population) FROM table_name_17 WHERE city = "kragerø"