dojo.html.replaceClass = function(/* HTMLElement */node, /* string */newClass, /* string */oldClass) {   dojo.html.removeClass(node, oldClass); dojo.html.addClass(node, newClass); } 
dojo.html.replaceClass=function(node,_1af,_1b0){ dojo.html.removeClass(node,_1b0); dojo.html.addClass(node,_1af); }; 
dojo.html.replaceClass = function(/* HTMLElement */node, /* string */newClass, /* string */oldClass) {  //  summary  //  Replaces 'oldClass' and adds 'newClass' to node  dojo.html.removeClass(node, oldClass);  dojo.html.addClass(node, newClass);}
6315	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/6315/90939f35f46f873d9b1f5c5f818ecf012711dc71/dojo.js/buggy/src/main/resources/org/apache/struts2/static/dojo/dojo.js