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