if (typeof element == 'string') 
if (Object.isString(element)) 
function $(element) {  if (arguments.length > 1) {    for (var i = 0, elements = [], length = arguments.length; i < length; i++)      elements.push($(arguments[i]));    return elements;  }  if (typeof element == 'string')    element = document.getElementById(element);  return Element.extend(element);}
4999	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4999/0c67d2a1c175fa312f232b827bd1c26b95eac0e1/prototype.js/clean/wp-includes/js/prototype.js