if(opt.selected) values.push(opt.value || opt.text); 
if (opt.selected) values.push(opt.value || opt.text); 
				$each(this.getElementsByTagName('option'), function(opt, index){					if(opt.selected) values.push(opt.value || opt.text);				});
9494	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/9494/400ad26dfc08767a8c58cf28714d228c7575e996/Element.js/buggy/Native/Element.js