 if ( !tmp.length ) this.selectedIndex = -1; } else this.value = val; }); 
					jQuery("option", this).each(function(){						this.selected = (jQuery.inArray(this.value, tmp) >= 0 ||						jQuery.inArray(this.text, tmp) >= 0);					});
6056	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/6056/500ff12d5da5e0d454663203101d65c9ed37cffa/core.js/buggy/src/core.js