function extra(f) {
  f.action = "extra.php";
  window.open("about_:blank", "Options", "status, width=500, height=320");
  f.target = "Options";
  f.submit();
}

function submitIt(a) {
   a.action = "index2.php?section=plastics";
   a.target = "main";
   a.submit();
   self.close(); 
}

function colour(f) {
  f.action = "colour.php";
  window.open("about_:blank", "Colour", "status, width=400, height=150");
  f.target = "Colour";
  f.submit();
}

function submitIt1(a) {
   a.action = "index2.php?section=jigheads";
   a.target = "main";
   a.submit();
   self.close(); 
}

function roundedCorners() {
  var divs = document.getElementsByTagName('div');
  var rounded_divs = [];
  for (var i = 0; i < divs.length; i++) {
    if (/\brounded\b/.exec(divs[i].className)) {
      rounded_divs[rounded_divs.length] = divs[i];
    }
  }
  for (var i = 0; i < rounded_divs.length; i++) {
    var original = rounded_divs[i];
    /* Make it the inner div of the four */
    original.className = original.className.replace('rounded', '');
    /* Now create the outer-most div */
    var tr = document.createElement('div');
    tr.className = 'rounded2';
    /* Swap out the original (we'll put it back later) */
    original.parentNode.replaceChild(tr, original);
    /* Create the two other inner nodes */
    var tl = document.createElement('div');
    var br = document.createElement('div');
    /* Now glue the nodes back in to the document */
    tr.appendChild(tl);
    tl.appendChild(br);
    br.appendChild(original);
  }
}
window.onload = roundedCorners;