context: function setClientOutput(doc) {    client.output = frames[0].document.getElementById("output");    //createHighlightMenu();}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/b8511d02e8bcb51d475c1c9a02b7a6f680ba5830/static.js/buggy/extensions/irc/xul/content/static.js