if (value!='') 
if (value!=='') { 
function _input(type, name, value){  var input=document.createElement("input");  input.setAttribute("type", type);  input.setAttribute("name", name);  if (value!='')    input.setAttribute("value", value);  return input;}
1094	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/1094/b0116b471a9ed23ecb7cc3c5df60b8378b41a383/forms.js/buggy/js/forms.js