if($_GET['nombre'] == "eugenio" { header("Location: paso3.php?nombre=" + $_GET['nombre']); } else { print htmlspecialchars($_GET['nombre']); }