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