var flag = Element.$propertiesIFlag[property] || 0; 
var flag = Element.$attributesIFlag[property] || 0; 
	getProperty: function(property){		var index = Element.$properties[property];		if (index) return this[index];		var flag = Element.$propertiesIFlag[property] || 0;		if (!Client.Engine.ie || flag) return this.getAttribute(property, flag);		var node = this.attributes[property];		return (node) ? node.nodeValue : null;	},
5733	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5733/efb4f770b56fdc035f18061222f0527b9b36ca5f/Element.js/buggy/Native/Element.js