public static function GetTabId($nr)
 {
     if (!self::$_init) {
         self::_init();
     }
     if (!self::$_tab_ids) {
         self::$_tab_ids = array_keys(self::$_tabs);
     }
     return isset(self::$_tab_ids[$nr]) ? self::$_tab_ids[$nr] : NULL;
 }