rem: if ("doAllowWindowOpen" in window) 
add: if ("onCheckboxCheck" in window) 
context:   function getCheckboxValue(name){    if ("doAllowWindowOpen" in window)      return document.getElementById(name).checked;    return data[name].checked;  }
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/1e2d5d9ba4147d5ea3cc58789a6ba7f2426d0695/pref-scripts.js/clean/suite/common/pref/pref-scripts.js