el = $(el) || new Element(el); 
$(el); 
	replaceWith: function(el){		el = $(el) || new Element(el);		this.parentNode.replaceChild(el, this);		return el;	},
9299	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/9299/af3052185d60e8b5c32658a1ed1cc774aaebe605/Element.js/buggy/Native/Element.js