$each(this.options, function(opt){ if (opt.selected) values.push(opt.value || opt.text); 
$each(this.attributes, function(attribute){ if (attribute.name != 'name') el.setProperty(attribute.name, attribute.value); 
				$each(this.options, function(opt){					if (opt.selected) values.push(opt.value || opt.text);				});
7087	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/7087/af3052185d60e8b5c32658a1ed1cc774aaebe605/Element.js/clean/Native/Element.js