What is the total amount of world records for Roger Francois?
CREATE TABLE table_name_54 (roger_françois VARCHAR, world_record VARCHAR)
SELECT roger_françois FROM table_name_54 WHERE world_record = "total"
### Context: CREATE TABLE table_name_54 (roger_françois VARCHAR, world_record VARCHAR) ### Question: What is the total amount of world records for Roger Francois? ### Answer: SELECT roger_françois FROM table_name_54 WHERE world_record = "total"