Este código sí que funciona, lo acabo de probar
El error está en que el PHP no puede hacer un header("Location..."); después de un echo "..."; (no me preguntes por qué, pero es así

)
Entonces usa la forma del javascript. Además quité código basura que no hacía sino estorbar. El script ¿definitivo? es este:
Código PHP:
<?php
$a = $busqueda;
$b1 = "juegos";
$b2 = "JUEGOS";
$b3 = "tutoriales";
$b4 = "TUTORIALES";
$b5 = "audio";
$b6 = "AUDIO";
$b7= "video";
$b8 = "VIDEO";
$b9 = "trucos";
$b10 = "TRUCOS";
$b11 = "downloads";
$b12 = "DOWNLOADS";
$url = "http://127.0.0.0/mailbanner.php";
if ($a == $b1 or $a == $b2 or
$a == $b3 or $a == $b4 or
$a == $b5 or $a == $b6 or
$a == $b7 or $a == $b8 or
$a == $b9 or $a == $b10 or
$a == $b11 or $a == $b12)
{
echo "Las palabra<br>";
echo $a." ";
echo "se ha encontrado en nuestro servidor<br>";
echo "unos momentos gracias.";
echo "<script language='JavaScript'>window.location.href='http://127.0.0.0/htindex.php';</script>";
}
else //No hace falta lo que tú pones, basta decir que si no se cumple lo anterior que haga esto
{
echo " no se ha encontrado la palabra<br>";
echo "-- ".$a." --<br>";
echo " en este servidor";
echo " intente, con otra palabra";
}
?>