return ($type(el) == 'element'); 
return (el.nodeName && el.nodeType == 1); 
			var children = Array.filter(parent.childNodes, function(el){				return ($type(el) == 'element');			});
5733	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5733/549ec3e26f3c682cc65f7a00decf603a24b0a2e0/Element.Filters.js/clean/Element/Element.Filters.js