var elements = [], child; 
var elements = [], child, pattern = new RegExp("(^|\\s)" + className + "(\\s|$)"); 
} else document.getElementsByClassName = function(className, parentElement) {  var children = ($(parentElement) || document.body).getElementsByTagName('*');  var elements = [], child;  for (var i = 0, length = children.length; i < length; i++) {    child = children[i];    if (Element.hasClassName(child, className))      elements.push(Element.extend(child));  }  return elements;};
6462	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/6462/50f1a7ec446554a81318f3a60d3a0933569306dd/prototype.js/buggy/wp-includes/js/prototype.js