if ($url == "portalhome") {
Header("Location: ../");
exit;
} else {
redirect(append_sid($url, true));
}