CREATE TABLE table_name_30 (margin INTEGER, player VARCHAR(255))
What is russ cochran's average margin?
    
SQL: SELECT AVG(margin) FROM table_name_30 WHERE player = "russ cochran"