// titles and screen header
global $db_connections, $path_to_root, $def_app, $applications,
$help_base_url, $help_page_url, $use_popup_windows,
// titles and screen header
global $db_connections, $path_to_root, $def_app, $applications,
$help_base_url, $help_page_url, $use_popup_windows,