$url1 = "http://".$_SERVER['HTTP_HOST'].$_SERVER['REQUEST_URI'];
				    $url2 = "http://".$_SERVER['HTTP_HOST'].$_SERVER['PHP_SELF'];
				    $url2 = str_replace('index.php', '', $url2 );
				    if($url1 == $url2)
				    {
				       @header("Location: portal");
				       exit;
				    }