从数据库中提取了需要的所有股票，形成一个Excel文件，怎么再从文件中选取出9只股票进行分析
>>> import random
>>> stocks = [603613,603189,603983,603256,603300,511880,601318,601236,600030,300059,300309,300023]
>>> random.sample(stocks,9)
[300059, 511880, 603300, 603983, 601236, 600030, 300023, 603189, 603613]
>>> random.sample(stocks,9)
[603189, 601236, 300023, 603300, 511880, 603256, 300309, 600030, 300059]
>>>
>>>