<$registered_global = $_SESSION['unregistered_global'];>