CREATE TABLE table_name_9 (total INTEGER, nation VARCHAR(255))
How many total medals for the netherlands?
    
SQL: SELECT SUM(total) FROM table_name_9 WHERE nation = "netherlands"