context:   function getCheckboxValue(name){    if ("doAllowWindowOpen" in window)      return document.getElementById(name).checked;        return data[name].checked;  }
meta: 5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5459/da78e04e2efb1af15b0aba0e3f24ada2f9774fde/pref-scripts.js/clean/xpfe/components/prefwindow/resources/content/pref-scripts.js