context: function net_getprefmgr(){    if (!("_prefManager" in this))    {        this._prefManager = getNetworkPrefManager(this);        this._prefs = this._prefManager.prefs;    }        return this._prefManager;}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/d84f82bf3e11bd09e70e1036662b0018f8834acc/static.js/clean/extensions/irc/xul/content/static.js