context: function net_getprefs(){    if (!("_prefs" in this))    {        this._prefManager = getNetworkPrefManager(this);        this._prefs = this._prefManager.prefs;    }        return this._prefs;}
meta: 1622	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1622/0918cade427e1856c2e2bcfdefa8b4ea3e457b73/static.js/clean/xul/content/static.js