Il mio codice è solo a scopo di esempio. Bisogna addattarlo.
Comunque....prendendo una parte del tuo codice potresti fare cosi.

codice:
 $nom=$_POST['nome']; 
 $ff=file("./elenco.txt"); 
 for($i=0;$i<count($ff);$i++){ 
  $nar=explode(".",$ff[$i]); 
  if($nar[0]==$nom){ 
   $aaaaa = cercaFile($nom.".html",SITE_FILE_SYSTEM_START);
   if ($aaaaa) {
    header("location:".$aaaaa); 
    exit; 
   }
  }

PS : Joyeux Noël !!!!