for x in range(1,4): # int for the random seed
    randsamp = df.sample(frac=0.1, random_state=x)
    randsamp.to_csv("./sample"+str(x)+".csv",sep=';')