Codice PHP:
session_start();
if (!isset($_SESSION['nomi']))
{
$nome = array('nome1', 'nome2', 'nome3', 'nome4', 'nome5', 'nome6');
$ks = array_rand($nome, 4);
$_SESSION['nomi'] = array(
1 => $nome[$ks[0]],
2 => $nome[$ks[1]],
3 => $nome[$ks[2]],
4 => $nome[$ks[3]]
);
}
foreach ($_SESSION['nomi'] as $value)
{
echo $value . '
';
}