} 
function _input_checkbox(name, value, checked){  var input=_input('checkbox', name, value);  if (checked || checked>0)    input.setAttribute("checked", "checked");  return input;}
1094	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/1094/b0116b471a9ed23ecb7cc3c5df60b8378b41a383/forms.js/buggy/js/forms.js