Ecco cosa ho tirato fuori, pensandoci un pò, funziona perfettamente, a chiunque serva... :
Codice PHP:
<?

//Definisco la funzione
  
function ricerca($file) {
   
$var=file("$file.txt");
   
$i=count($var);
   
$i$i 1;
   
  for(
$a=0$a<=$i$a++){
  
$varx $var[$a];
  
$varx ereg_replace(" ","",$varx);
  
$varx trim($varx);
  
$nome $_POST['nome'];
 if ( (
$nome == $varx) ) {
  echo 
"[b]$nome[/b] è presente nel file $file.txt
"
;
  }
  }
  }
  
?>

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<title>Ricerca</title>
</head>

<body>
<div align="center">


[b]Benvenuto!
[/b]</p>
<?
if (!isset($_GET['cerca'])) {
echo
'<form name="form1" method="post" action="index.php?cerca">

Numero di telefono: <input type="text" name="npme"></p>

<input type="submit" name="Submit" value="Invia"></p></form>'
;
} else {
ricerca("file1");
ricerca("file2");
ricerca("file3");
}  
?>
</div>
</body>
</html>
I file devono essere nel formato che ho detto prima... Per cercare in altri file basta aggiungere
Codice PHP:
ricerca("nome file senza estensione"); 

Ciao ciao