if (!window.ie) return this.getAttribute(property); 
var flag = Element.PropertiesIFlag[property] || 0; if (!window.ie || flag) return this.getAttribute(property, flag); 
	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;	},
5733	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5733/f868ca1768f0c1e3e443abf080bff337d29991e5/Element.js/buggy/Native/Element.js