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