context:   function getCheckboxValue(name){    if ("doAllowWindowOpen" in window)      return document.getElementById(name).checked;        return data[name].checked;  }
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/b1bac6fa9410be6be06bd83f4ae9a6b1421979d9/pref-scripts.js/buggy/suite/common/pref/pref-scripts.js