function insertToc(markup, target) {
  var div = document.getElementById(target);

  var content = document.getElementById("content");
  var acc = content.getElementsByTagName(markup);

  var ul = document.createElement('ul');
  for(var i=0; i<acc.length;i++) {
      var h4 = acc[i];
      var li = document.createElement("li");
      var node = h4.firstChild;
      if(node) {
	var txt = document.createTextNode(node.nodeValue);
        if(txt) {
          var a = document.createElement("a");
          a.href= "#a" + i;
	  a.appendChild(txt);
	  li.appendChild(a);
          ul.appendChild(li);  

	  var aname = document.createElement("a");
          aname.setAttribute("name", "a" +i);
          /* bug in IE requires us to also set 'id' instead of 'name' */
          aname.setAttribute("id", "a" +i);
          h4.appendChild(aname);
        }	
      }
    }

    div.appendChild(ul);
}