Question: What is the total amount of world records for Roger Francois?
SQL: SELECT Roger François FROM table WHERE World Record = total