Codice PHP:
<?
$file
=file_get_contents("pippo.txt"); // in una riga ottieni la lettura del file e il suo contenuto in una variabile

if (isset($_POST['n1']))
  {
  
$tr $_POST['n2'] ;
  if ( 
strpos($tr$file) ) 
    {
    echo 
"e..no";
    } 
  else 
    {
    echo 
"ok";
    }
  }
?>
così dovrebbe funzionare....