header("location: portal.php");
header("location: index.php");
redirect("portal.php", $lang->redirect_loggedin);