j++; 
j++; 
        $H(operators).each( function(val){            form.elements[selectlist].options[j] = new Option(val.value, val.key, false, false);            j++;                });
6770	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/6770/572c3f2bb3a723427b3ca6f2c29ad27c0b612804/dilps.lib.js/buggy/dilps/dilps.lib.js