if (arguments.length == 1) return element; 
if (arguments.length == 1) return element; 
function $() {  var elements = new Array();  for (var i = 0; i < arguments.length; i++) {	var element = arguments[i];	if (typeof element == 'string')	  element = document.getElementById(element);	if (arguments.length == 1)	  return element;	elements.push(element);  }  return elements;}
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/a3a9a2c311afc9d76e4e6bfc036e5897fa988bc1/qa.js/buggy/testing/extensions/community/chrome/content/qa.js