rem: client.output = frames[0].document.getElementById("output"); 
add: client.deck = document.getElementById('output-deck'); 
context: function setClientOutput(doc) {    client.output = frames[0].document.getElementById("output");    //XXXcreateHighlightMenu();}
meta: 3298	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/3298/b8c60bd69a6bc8933f5605adc2fd1fbdf9dbcb99/static.js/buggy/xul/content/static.js