CREATE TABLE table_name_4 (total INTEGER, player VARCHAR)
SELECT SUM(total) FROM table_name_4 WHERE player = "tommy bolt"
ผลรวมของคะแนนรวมเมื่อผู้เล่นคือ "ทอมมี่ โบลต์" คืออะไร?
What is the sum of Total, when Player is "Tommy Bolt"?