Instruct: What is the total number for Seve Ballesteros?
Output: SELECT COUNT Total FROM table WHERE Player = seve ballesteros