Table schema:
CREATE TABLE table_name_13 (pop_¹ INTEGER, prefecture VARCHAR)

Question: Name the sum of pop for shizuoka
SQL: SELECT SUM(pop_¹) FROM table_name_13 WHERE prefecture = "shizuoka"