{
GLOBAL $G_with_topbanner, $G_topbanner, $G_is_local;
GLOBAL $sess, $name, $pass_private, $table_idx, $table_token, $BRISK_SHOWHTML, $BRISK_DEBUG, $_SERVER;
{
GLOBAL $G_with_topbanner, $G_topbanner, $G_is_local;
GLOBAL $sess, $name, $pass_private, $table_idx, $table_token, $BRISK_SHOWHTML, $BRISK_DEBUG, $_SERVER;