Random pick number from a set of values?

[linda_says]

I have a set of numbers say "11,12,13,14,21,22,23,24,31,32,33,34".

Does PHP have a function that randomly pick number from this set only? Instead of the rand(11,34).

[evgeny]

Use array_rand() function