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