context: function chan_getprefs(){    if (!("_prefs" in this))    {        this._prefManager = getChannelPrefManager(this);        this._prefs = this._prefManager.prefs;    }        return this._prefs;}
meta: 3298	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/3298/703717eb72f3378c625c0fefe679e646d1c5b0ff/static.js/buggy/xul/content/static.js