Element.classNames(element).remove(className); 
element.className = element.className.replace( new RegExp("(^|\\s+)" + className + "(\\s+|$)"), ' ').strip(); 
  removeClassName: function(element, className) {    if (!(element = $(element))) return;    Element.classNames(element).remove(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