function roundedCorners() {
  var divs = document.getElementsByTagName('div');
  var rounded_divs = [];
  var patt=/\btbl_cell_int\b/;
  for (var i = 0; i < divs.length; i++) {
    if (patt.exec(divs[i].id)) {
      rounded_divs[rounded_divs.length] = divs[i];
    }
  }
  for (var i = 0; i < rounded_divs.length; i++) {
    var original = rounded_divs[i];
    var tr = document.createElement('div');
    tr.className = 'rtr';
    var tl = document.createElement('div');
    tl.className = 'rtl';
    var br = document.createElement('div');
    br.className = 'rbl';
    var bl = document.createElement('div');
    bl.className = 'rbr';  
    original.appendChild(tr);
    original.appendChild(tl); 
    original.appendChild(br);
    original.appendChild(bl);   
  }
}