rem: var ary = navigator.userAgent.match (/;\s*([^;\s]+\s*)\).*\/(\d+)/); 
add: var ary = navigator.userAgent.match (/(rv:[^;)\s]+).*?Gecko\/(\d+)/); 
context: function initStatic(){    CIRCServer.prototype.VERSION_RPLY =        getMsg(MSG_VERSION_REPLY, [__cz_version, navigator.userAgent]);    client.mainWindow = window;    const nsISound = Components.interfaces.nsISound;    client.sound =        Components.classes["@mozilla.org/sound;1"].createInstance(nsISound);    multilineInputMode(client.prefs["multiline"]);    if (client.prefs["showModeSymbols"])        setListMode("symbol");    else        setListMode("graphic");    setDebugMode(client.prefs["debugMode"]);        var ary = navigator.userAgent.match (/;\s*([^;\s]+\s*)\).*\/(\d+)/);    if (ary)    {        client.userAgent = "ChatZilla " + __cz_version + " [Mozilla " +             ary[1] + "/" + ary[2] + "]";    }    else    {        client.userAgent = "ChatZilla " + __cz_version + " [" +             navigator.userAgent + "]";    }    client.statusBar = new Object();        client.statusBar["server-nick"] = document.getElementById ("server-nick");    client.statusElement = document.getElementById ("status-text");    client.defaultStatus = MSG_DEFAULT_STATUS;    client.logFile = null;    setInterval("onNotifyTimeout()", client.NOTIFY_TIMEOUT);        client.defaultCompletion = client.COMMAND_CHAR + "help ";    client.deck = document.getElementById('output-deck');}
meta: 1567	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1567/a2db50be8eafa89a9b420f267c3f821b59cdec10/static.js/buggy/xul/content/static.js