En ves de utilizar HTTP_GET_VARS
Utiliza $_GET[]
Código PHP:
if (isset($_GET["ver"])) {
$ver=$_GET["ver"];
switch ($ver) {
case "abere":include("this.php");break;
case "nover":include("that.php");break;
default : include("no.php");
}}
else { include("no.php"); }