return (index) ? this[index] : this.getAttribute(property); 
if (index) return this[index]; if (window.ie) return this.getAttribute(property); var node = this.attributes[property]; return (node) ? node.nodeValue : null; 
	getProperty: function(property){		var index = Element.Properties[property];		return (index) ? this[index] : this.getAttribute(property);	},
7087	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/7087/ca3a15dadb1ff8631038e1d1e46886359be2e4d6/Element.js/buggy/Native/Element.js