rem: var pref_min = document.getElementById("browser.history_expire_days_min"); 
context:   _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;  },
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/8395/bb640eb412ec9a08aeda658178ee17574806e183/privacy.js/clean/browser/components/preferences/privacy.js