Generazione nomi casuali

[Cloud Web]

Sto realizzando una pagina con al centro un pulsante (form) che cliccandoci generi nel riquadro quattro nomi.
Sono capace di realizzare tutto tranne il codice per generare casualmente quattro nomi dei 21 totali.
Per esempio, avendo i nomi: Marco, Fabio, Oreste, Mattia, Luca, Giorgio, Lorenzo, Sofia, Marta, etc., cliccando sul pulsante mi compaiano quattro di questi nomi scelti casualmente.
Ho controllano in molte pagine Web, ma nessuna da risultati sufficenti.
Avete qualche consiglio da darmi? Link che posso consultare?

[eiyen]

bisogna vedere dove sono memorizzati i nomi... se hai un array puoi fare così:

$nome = array('nome1', 'nome2', ...); // quanti ne vuoi
$ks = array_rand($nome, 4); // 4 vuol dire: 4 a caso
print $nome[$ks[0]]; // nome n.1
print $nome[$ks[1]]; // nome n.2
print $nome[$ks[2]]; // nome n.3
print $nome[$ks[3]]; // nome n.4 

[Cloud Web]

@eiyen: Grazie Mille, sei l'unico che mi ha la risposta che corrispondesse all'esatto codice che mi serviva! Grazie!