  textbox.setAttribute("onsynctopreference", "return gPrivacyPane._writeHistoryDaysMirror();"); textbox.setAttribute("preference", "browser.history_expire_days.mirror"); mirror.updateElements(); 
  _updateHistoryDaysUI: function ()  {    var pref = document.getElementById("browser.history_expire_days");    var mirror = document.getElementById("browser.history_expire_days.mirror");    var pref_min = document.getElementById("browser.history_expire_days_min");    var textbox = document.getElementById("historyDays");    var checkbox = document.getElementById("rememberHistoryDays");    // handle mirror non-existence or mirror/pref unsync    if (mirror.value === null || mirror.value != pref.value)      mirror.value = pref.value ? pref.value : pref.defaultValue;    checkbox.checked = (pref.value > 0);    textbox.disabled = !checkbox.checked;  },
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/bb640eb412ec9a08aeda658178ee17574806e183/privacy.js/buggy/browser/components/preferences/privacy.js