splitter.className = "chromeclass-toolbar-additional"; 
splitter.className = "toolbar-splitter chromeclass-toolbar-additional"; 
function UpdateUrlbarSearchSplitterState(){  var splitter = document.getElementById("urlbar-search-splitter");  var urlbar = document.getElementById("urlbar-container");  var searchbar = document.getElementById("search-container");  var ibefore = null;  if (urlbar && searchbar) {    if (urlbar.nextSibling == searchbar)      ibefore = searchbar;    else if (searchbar.nextSibling == urlbar)      ibefore = urlbar;  }  if (ibefore) {    if (!splitter) {      splitter = document.createElement("splitter");      splitter.id = "urlbar-search-splitter";      splitter.setAttribute("resizebefore", "flex");      splitter.setAttribute("resizeafter", "flex");      splitter.className = "chromeclass-toolbar-additional";    }    urlbar.parentNode.insertBefore(splitter, ibefore);  } else if (splitter)    splitter.parentNode.removeChild(splitter);}
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/316f9b6f2e7024b149fca3130ed999b4f00a7f94/browser.js/buggy/browser/base/content/browser.js