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