function makeDivRounded(oDiv){   var oDivParent = oDiv.parentNode;      // Stick the outer border in where the div was, and yank   // out the div temporarily (we'll reattach it later.)   var oOuterBorder = document.createElement('div');   oOuterBorder.className = 'roundedBorderOuter';   oDivParent.insertBefore(oOuterBorder, oDiv);   oDiv.parentNode.removeChild(oDiv);      var oTop = document.createElement('b');   oTop.className = 'xtop'   oOuterBorder.appendChild(oTop);   for (var i = 1; i < 5; i++)      addCornerElem(oTop, i);   var oInnerElem = document.createElement('div');   oInnerElem.className = 'roundedBorderInner roundedBorderBackground';   oOuterBorder.appendChild(oInnerElem);   oInnerElem.appendChild(oDiv);      var oBottom = document.createElement('b');   oBottom.className = 'xbottom';   oOuterBorder.appendChild(oBottom);   for (var i = 4; i > 0; i--)      addCornerElem(oBottom, i);}
9563	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/9563/72ae15b7d4b248581488f0774a0dd9d4e39f9732/borders.js/clean/trunk/rdiffWeb/static/borders.js