switch(property){ case 'class': return this.className; case 'for': return this.htmlFor; default: return this.getAttribute(property); } 
return (Element.Properties[property]) ? this[Element.Properties[property]] : this.getAttribute(property); 
	getProperty: function(property){		switch(property){			case 'class': return this.className;			case 'for': return this.htmlFor;			default: return this.getAttribute(property);		}	},
5733	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5733/4d351aed9adf0712de09d3fd60fe269e01741437/Element.js/buggy/Native/Element.js