Array.each(this.options, function(option){ if (option.selected) values.push(option.value); }); 
Array.each(arguments, function(attribute){ result[attribute] = this.getProperty(attribute); }, this); 
				Array.each(this.options, function(option){					if (option.selected) values.push(option.value);				});
7087	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/7087/8091d58f2bf0e0a6dda81c799f00468e7bd136b0/Element.js/buggy/Source/Element/Element.js