rem: return Element.$getMany(this, 'getProperty', arguments); 
add: var result = {}; $each(arguments, function(key){ result[key] = this.getProperty(key); }, this); return result; 
context: 	getProperties: function(){		return Element.$getMany(this, 'getProperty', arguments);	},
meta: 7826	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/7826/efb4f770b56fdc035f18061222f0527b9b36ca5f/Element.js/buggy/Native/Element.js