import random, time random.seed (time.time()) players = range(1,14) random.shuffle(players) print players