Codice PHP:
session_start();

if (!isset(
$_SESSION['nomi']))
{
    
$nome = array('nome1''nome2''nome3''nome4''nome5''nome6');  
    
$ks array_rand($nome4);
    
$_SESSION['nomi'] = array(
        
=> $nome[$ks[0]],
        
=> $nome[$ks[1]],
        
=> $nome[$ks[2]],
        
=> $nome[$ks[3]]
    );
}

foreach (
$_SESSION['nomi'] as $value)
{
    echo 
$value '
'
;