dojo.dom.replaceChildren = function(/* Element */node, /* Node */newChild){    dojo.dom.removeChildren(node); node.appendChild(newChild); } 
dojo.dom.replaceChildren=function(node,_12b){ dojo.dom.removeChildren(node); node.appendChild(_12b); }; 
dojo.dom.replaceChildren = function(/* Element */node, /* Node */newChild){  //  summary  //  Removes all children of node and appends newChild  // FIXME: what if newChild is an array-like object?  dojo.dom.removeChildren(node);  node.appendChild(newChild);}
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