if (isset($modulo) || empty($modulo)) { //el codigo de la pagina hola.php } else header ("Location: index.php");