<?

$arquivo = $_GET['arquivo'];
$nome    = $_GET['nome'];
$end     = "http://milanesa.ime.usp.br/igeom/instala.php?nome=$nome&arquivo=$arquivo";

// Troque de página
header("location: $end\r\n" );

// Troque de página
print "<script language='javascript' value='$arquivo'>location.href='$end'</script>";

// Troque de página
print "O <tt>JavaScript</tt> está desligado em seu navegador!<br>\n";
print "Por favor, <a href='$end'>clique aqui</a> para fazer o <i>download</i> do arquivo $arquivo<br>\n";

?>