$(el); 
	replaceWith: function(el){		$(el);		this.parentNode.replaceChild(el, this);		return el;	},
5733	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5733/67549ab6fb6dc70851c7689d5a7279998dc2a123/Element.js/buggy/Native/Element.js