import random
import csv
filein = open('data/BX-Book-Ratings.csv','r')
fileout = open('data/rating1.csv','a',newline='')
for i in range(1,100):
a = random.randrange(1,10000)
if a in filein:
line = filein.readline(a)
fileout.write(line,dialect='csv')
```我有一个比较大的数据集,csv文件,数量上万,我现在只想要其中的1000条,要保证随机筛选出1000条,而不是按顺序的1000条,不知道该怎么做,代码看上面