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