function setform(){  var form = document.body.appendChild(document.createElement('form'));  var input = form.appendChild(document.createElement('input'));  input.setAttribute('id', 'test');  input.setAttribute('value', '1232');  var result = form.toString(); }
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/3703c3c05f398a63e55992f7687ef65273b26d6a/regress-233483.js/buggy/js/tests/js1_5/Regress/regress-233483.js