invocar una pag html desde php

[marin_reyes]

estoy ahciendo esto

<?php
error_reporting(E_ALL);
ini_set('display_errors',1);

include("conex.php");
$conn=Conectarse();

//$user=$_POST['usr'];
//$pass=$_POST['pass'];

$user='hm';
$pass= 'hm';

echo "$user, $pass";
$sql = "SELECT * FROM st_usuarios where cod_usuario='".$user."' and cod_clave='".$pass."';";

$rs = odbc_exec( $conn, $sql );

echo 'Resultado: ' . print_r($rs,1);
echo 'Existe? ' . (is_file('principal.html')? 'si' : 'no');

include("principal.html");
if ( !$rs ) {
echo odbc_error();
exit;}
?>

<!--<script type="text/javascript" language="JavaScript">
{ window.location='principal.html'; }
</script>-->

y el resultado al ejecutarlo es
hm, hmResultado: Resource id #3Existe? si
y el resultado q obtengo es solo los tres echo q hay en el codigo, si le quito el comentario a la instrucción js si levanta la pag.

estoy tratando con esta instrucción
echo '<script type="text/javascript" language="JavaScript">window.location="'principal. html'";</script>';
tengo unproblema con las comillas pero estoy en eso a ver si funciona.

Gracias a todos por la ayuda, este foro es lo máximo!