if (arguments.length == 1 && $type(arguments[0]) == 'string') return this.document.getElements(arguments[0]); 
	$$: function(){		var elements = [];		for (var i = 0, j = arguments.length; i < j; i++){			var selector = arguments[i];			switch ($type(selector)){				case 'element': elements.push(selector); break;				case false: case null: break;				case 'string': selector = this.document.getElements(selector, true);				default: elements.extend(selector);			}		}		return new Elements(elements);	}
9299	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/9299/bd09ba56a81671b52500b5528a170125860d15ce/Element.js/buggy/Source/Element/Element.js