python 要素をランダムに抽出

import random

names = [“Taro”, “Jiro”, “Saburo”, “Shiro”, “Goro”]

names = list(set(names))
winners = random.sample(names, 3)
print(winners)