CREATE TABLE table_name_9 (pick__number INTEGER, player VARCHAR(255))
Name the average Pick # of mike williams?
    
SQL: SELECT AVG(pick__number) FROM table_name_9 WHERE player = "mike williams"