var index = Element.Properties[property] 
var index = Element.Properties[property]; 
	getProperty: function(property){		var index = Element.Properties[property]		return (index) ? this[index] : this.getAttribute(property);	},
6991	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/6991/24c700f62391a36cef8aab0b5fd8162492286c7b/Element.js/clean/Native/Element.js