function elementHasClass(a,b){return a.className&&a.className.search(new RegExp("\\b"+b+"\\b"))>-1}function elementAddClass(a,b){var c=a.className;c||(c="");elementHasClass(a,b)||(c+=(c.length>0?" ":"")+b);a.className=c}function elementRemoveClass(a,b){if(a.className)a.className=a.className.replace(new RegExp("\\s*\\b"+b+"\\b\\s*")," ").replace(/^\s*/,"").replace(/\s*$/,"")};