<?php
include_once $_SERVER['DOCUMENT_ROOT'] . '/globals.php';

header('Location: ' . $PORTAL_URL);
?>