context:     function pm_observe (prefService, topic, prefName)    {        var r = prefManager.prefRecords[prefName];        if (!r)            return;                var oldValue = (r.realValue != null) ? r.realValue : r.defaultValue;        r.realValue = prefManager.getPref(prefName, PREF_RELOAD);        prefManager.onPrefChanged(prefName, r.realValue, oldValue);    };
meta: 1567	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1567/c721c41c9ab744ce8d31136bb80512afadc602ec/pref-manager.js/buggy/js/lib/pref-manager.js