rem: client.userAgent = "ChatZilla " + client.version + " [Mozilla " + 
add: { client.userAgent = "ChatZilla " + __cz_version + " [Mozilla " + 
context: function initStatic(){    var obj;    const nsISound = Components.interfaces.nsISound;    client.sound =        Components.classes["@mozilla.org/sound;1"].createInstance(nsISound);    if (client.CHARSET)        setCharset(client.CHARSET);    multilineInputMode(client.MULTILINE);        var ary = navigator.userAgent.match (/;\s*([^;\s]+\s*)\).*\/(\d+)/);    if (ary)        client.userAgent = "ChatZilla " + client.version + " [Mozilla " +             ary[1] + "/" + ary[2] + "]";    else        client.userAgent = "ChatZilla " + client.version + " [" +             navigator.userAgent + "]";    obj = document.getElementById("input");    obj.addEventListener("keypress", onInputKeyPress, false);    obj = document.getElementById("multiline-input");    obj.addEventListener("keypress", onMultilineInputKeyPress, false);    obj = document.getElementById("channel-topicedit");    obj.addEventListener("keypress", onTopicKeyPress, false);    obj.active = false;    window.onkeypress = onWindowKeyPress;    setMenuCheck ("menu-dmessages",                  client.eventPump.getHook ("event-tracer").enabled);    setMenuCheck ("menu-munger-global", !client.munger.enabled);    setMenuCheck ("menu-colors", client.enableColors);    setupMungerMenu(client.munger);    client.uiState["tabstrip"] =        setMenuCheck ("menu-view-tabstrip", isVisible("view-tabs"));    client.uiState["info"] =        setMenuCheck ("menu-view-info", isVisible("user-list-box"));    client.uiState["header"] =        setMenuCheck ("menu-view-header", isVisible("header-bar-tbox"));    client.uiState["status"] =        setMenuCheck ("menu-view-status", isVisible("status-bar"));    client.statusBar = new Object();        client.statusBar["header-url"] =        document.getElementById ("header-url");    client.statusBar["server-nick"] =        document.getElementById ("server-nick");    client.statusBar["channel-mode"] =        document.getElementById ("channel-mode");    client.statusBar["channel-users"] =        document.getElementById ("channel-users");    client.statusBar["channel-topic"] =        document.getElementById ("channel-topic");    client.statusBar["channel-topicedit"] =        document.getElementById ("channel-topicedit");    client.statusElement = document.getElementById ("status-text");    client.defaultStatus = getMsg ("defaultStatus");    client.display (getMsg("welcome"), "HELLO");    setCurrentObject (client);    var m = document.getElementById ("menu-settings-autosave");    m.setAttribute ("checked", String(client.SAVE_SETTINGS));         setInterval ("onNotifyTimeout()", client.NOTIFY_TIMEOUT);        if (getBoolPref("logging", false, client.localPrefs))       client.startLogging(client);}
meta: 1622	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1622/3df45f52a2f3a304b5c3c14817a3c2c3cbfc6921/static.js/buggy/xul/content/static.js