window.document.title = FBL.$STRF("WindowTitle", [title]); 
window.document.title = FBL.$STRF("WindowTitle", [title]); 
    syncTitle: function()    {        if (FirebugContext)        {            var win = FirebugContext.window;            var title = win.document.title;            if (!title)                title = win.location.href;            window.document.title = FBL.$STRF("WindowTitle", [title]);                }        else            window.document.title = FBL.$STR("Firebug");    },
2454	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/2454/e1d42ad3fad63b72826a4e2ed0726866484c9ac3/chrome.js/clean/extension/content/firebug/chrome.js