rem: return document.getElementById("content"); 
add: if (!gBrowser) gBrowser = document.getElementById("content"); return gBrowser; 
context: function getBrowser(){  return document.getElementById("content");}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/95e0a93d11e550d8b841d475e6fe62ef4900c18b/minimo.js/buggy/minimo/chrome/content/minimo.js