if (el && el.$attributes) return el; 
	$: function(el){		var type = $type(el);		if (type == 'string') type = (el = this.document.getElementById(el)) ? 'element' : false;		if (type != 'element') return (type == 'window' || type == 'document') ? el : null;		if (Garbage.collect(el) && !el.$family) $extend(el, Element.prototype);		return el;	},
9299	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/9299/a1cb56167d82a026663562726e55fcc2131844f0/Element.js/buggy/Source/Element/Element.js