context: function init(){    initCommands();    initPrefs();    initDebugger();    console._outputDocument =         document.getElementById("output-iframe").contentDocument;        console._outputElement =         console._outputDocument.getElementById("output-tbody");    }
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/528699fdf3885d6115f3361d56b254285775f6c1/venkman-static.js/buggy/extensions/venkman/resources/content/venkman-static.js