redireccionamiento de pagina en Ajax

[webness]

ya, todo lo que tu haces con echo en php, ajax automaticamente lo toma dentro del responseText como una cadena de texto, mas nunca como una instruccion ejecutable al instante. en este caso se me ocurre la idea de retornar un valor sea un 0 cuando no encuentre o un 1 cuando si encuentre, entonces tu archivo inv_search.php podria quedar mas o menos asi:
<?
logica de consulta a la base datos
....................
....................
echo $valor_retorno,$mensaje
?>

por lo tanto el response text de tu archivo javascript tendria por valor una cadena con un valor como este por ejemplo: 1, se redireccionara a otra pagina ó 0, producto no encontrado

entonces lo que debes hacer es algo como esto:

ajax.onreadystatechange=function(){
if(ajax.readyState==4){
var respuesta = ajax.responseText.split();
if(respuesta[0]==1)//si encontro el producto
{
alert(respueta[1]);
window.location.href = "pagina.php";
}
else
{
///cuando no encontro el producto
}