remove: function(classNameToRemove) { if (!this.include(classNameToRemove)) return; this.set($A(this).without(classNameToRemove).join(' ')); }, 
remove: function( elem, c ){ elem.className = c != undefined ? jQuery.grep( elem.className.split(/\s+/), function(cur){ return !jQuery.className.has( c, cur ); }).join(" ") : ""; }, 
  remove: function(classNameToRemove) {    if (!this.include(classNameToRemove)) return;    this.set($A(this).without(classNameToRemove).join(' '));  },
5582	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5582/811fb8628683e9936c39b6f33ec7a27f60918768/dom.js/buggy/src/dom.js