setProperties: function(source){ return Element.$setMany(this, 'setProperty', source); 
setProperties: function(properties){ for (var property in properties) this.setProperty(property, properties[property]); 
	setProperties: function(source){		return Element.$setMany(this, 'setProperty', source);	},
9299	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/9299/efb4f770b56fdc035f18061222f0527b9b36ca5f/Element.js/buggy/Native/Element.js