$___val) {   $$___opt = $___val; } if(empty($gne)) { include_once("paginas/home.php"); } elseif(substr($gne, 0, 4)=='http' or substr($gne,  0, 1)=="/" or substr($gne, 0, 1)==".")  { echo '

A página não existe.
Por favor selecione uma página a partir do Menu Principal.';  } else { include("paginas/$gne.php"); } ?>