} 
function checkbox(id, name){  var cb=document.getElementById(id);  if (!cb)    return;      for (var i=0; i<document.forms["formExplorer"].elements.length; i++) {    var e = document.forms[1].elements[i];    if (e.name==name && e.type == 'checkbox') {      e.checked = cb.checked;    }  }}
1094	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/1094/b0116b471a9ed23ecb7cc3c5df60b8378b41a383/forms.js/buggy/js/forms.js