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);  },
6445	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/6445/81ea0800bc8ad92d491743716cd489cad7333723/prototype.js/clean/vendor/rails/railties/html/javascripts/prototype.js