non so se è in php (penso di si) o in javascript...

il mio problema è selezionare un numero casuale... il numero pero è casuale su un determinato insieme di numeri...

tipo ho:
1 5 9 15 20 35 78 95 100 153 47 99 33 14 2 7
io voglio scegliere a caso uno di questi... so della funzione rand pero posso specificare il massimo o il minimo...

avevo pensato di usare la funzione rand dando come minimo 0 e massimo il massimo numero tra quelli tra cui scelgo.. e fare un ciclo while che finsce quando la funzione rand becca un numero tra quelli da me elencati...
pero non mi sembra una cosa molto bella...

esistono delle altre funzioni del php che fanno al caso mio? o ce ne sono altre?

grazie