import random
names = ["Bob", "Dave", "Stuart"] 
print(random.choice(names))

Copyright Simon Johnson 2021