if (this.hasStyleClass(className)) this.className = this.className.replace(className, ""); 
 if (this.className === className) { this.className = ""; return; }  var regex = new RegExp("(^|\\s+)" + className.escapeForRegExp() + "($|\\s+)"); if (regex.test(this.className)) this.className = this.className.replace(regex, " "); 
Element.prototype.removeStyleClass = function(className) {    if (this.hasStyleClass(className))        this.className = this.className.replace(className, "");}
1725	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/1725/046bdcb6878a60db3e3cddff23f5e46d170666a3/utilities.js/clean/WebCore/page/inspector/utilities.js