Who should the 49ers take at No. 9?