return Element.classNames(element).include(className); 
var elementClassName = element.className; if (elementClassName.length == 0) return false; if (elementClassName == className || elementClassName.match(new RegExp("(^|\\s)" + className + "(\\s|$)"))) return true; return false; 
  hasClassName: function(element, className) {    if (!(element = $(element))) return;    return Element.classNames(element).include(className);  },
6462	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/6462/328e05b227c420e11178ba4eb2eb0e10862b193f/prototype.js/clean/wp-includes/js/prototype.js