var toolbox = document.getElementById("navigator-toolbox"); 
var toolbox = getNavToolbox(); 
function onViewToolbarCommand(aEvent){  var toolbox = document.getElementById("navigator-toolbox");  var index = aEvent.originalTarget.getAttribute("toolbarindex");  var toolbar = toolbox.childNodes[index];  toolbar.collapsed = aEvent.originalTarget.getAttribute("checked") != "true";  document.persist(toolbar.id, "collapsed");}
5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5459/36d38a4df6b41a5fa9742ad2d6b59cd4ca82fe83/browser.js/clean/browser/base/content/browser.js