Codice PHP:
<?php
$nome1=$_POST['nome'];

// Creo un array per l estrazione dei numeri

 $estrazione = array("1", "2", "3");

// Utilizzo la funzione array_rand per estrarre a caso uno degli elementi della array

$n = array_rand($estrazione, 1);

// Stampo a video il risultato...

echo "Il Numero estratto e' ...<br />Il <b>" . $estrazione[$n] . "</b>";

if ($estrazione[$n] == $nome1) echo "Hai VINTOOO!!"; 

else echo "ritenta" ;

 // leggo nel file testo archivio dove ci sono i numeri gia usciti

foreach(file("prodotticonfronto.txt") as $riga){
$p=explode("|",$riga);
$nome=$p['0'];
$testo=$p['1'];

if ($testo== $nome1) echo "Numero gia Uscito!!";

 echo "<br /><br />Numeri gia inseriti : ".$nome."<br />Testo: ".$testo;}  
?>