Element.classNames(element).add(className); 
if (!element.hasClassName(className)) element.className += (element.className ? ' ' : '') + className; 
  addClassName: function(element, className) {    if (!(element = $(element))) return;    Element.classNames(element).add(className);    return element;  },
6462	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/6462/0097375444aef03d8cdcdbe6705c1ea088b9b188/prototype.js/buggy/wp-includes/js/prototype.js