int curopendoc ;
 void set_tab_titles(void);
 void switch_to_tabbed_doc(int newopendoc);
 void remove_doc(int n);
 void remove_cur_doc(void);
 int find_among_tabs(const char *url);
 void create_tab(int n, ViewerInfo *info);
 ViewerInfo *get_cur_doc(void);
 int get_oldest_tab(void);
 void init_tabs(void);