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; }