rem: get value() { return document.getElementById("searchFilter").value; 
add: get value() { if (!this._value) { if (this._pb.prefHasUserValue(this._pref)) { var valueString = this._pb.getCharPref(this._pref); this._value = this._serializable.deserialize(valueString); } else this._value = this._defaultValue; } return this._value; 
context:   get value() {    return document.getElementById("searchFilter").value;  },
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/5bb24dd7110890cc87dd5c918b41df0d43e79183/places.js/buggy/browser/components/places/content/places.js