rem: var id = RES_PFX + "CHANNEL:" + this.parent.parent.name + ":" + escape(this.name); 
add: var id = RES_PFX + "CHANNEL:" + this.parent.parent.unicodeName + ":" + escape(this.unicodeName); 
context: function my_graphres (){    if (!("rdfRes" in this))    {        var id = RES_PFX + "CHANNEL:" + this.parent.parent.name + ":" +             escape(this.name);        this.rdfRes = client.rdf.GetResource(id);    }        return this.rdfRes;}
meta: 3298	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/3298/703717eb72f3378c625c0fefe679e646d1c5b0ff/static.js/buggy/xul/content/static.js