Use of Random in code

Hi,
I notice the standard Random function does not work the same, so all I am looking to do is have a range of numbers, not sequential where I pick a random number from. For example:

X=[0,3,5,7,10]

random(x)
What is the right syntax for Starlark language?
Thank You!