var index = Element.$properties[property]; 
var index = Element.$attributes[property]; 
	setProperty: function(property, value){		var index = Element.$properties[property];		if (index) this[index] = value;		else this.setAttribute(property, value);		return this;	},
5733	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5733/efb4f770b56fdc035f18061222f0527b9b36ca5f/Element.js/buggy/Native/Element.js