function addEvent(obj,evType,fn){if(obj.addEventListener){obj.addEventListener(evType,fn,false);return true;}else if(obj.attachEvent){return obj.attachEvent('on'+evType,fn);}return false;}

var gen_toc = function() {

    var h2s = {};
    var toc = "<ul class=\"menulevel2\">";
    var parent = document.getElementById("content");
    var parent_opt = parent.firstChild;

    h2s = document.getElementsByTagName("h2");
    for (var i = 0; i < h2s.length; i++) {
	var h2 = h2s[i];
	if (h2.parentNode == parent || h2.parentNode == parent_opt) {
	    h2.id = "toc" + i;
	    var text = "";
	    if (h2.textContent) {
		text = h2.textContent;
	    } else {
		text = h2.innerText;
	    }
	    toc += "<li><a href=\"#" + h2.id + "\">" + text + "</a></li>";
	}
    }

    toc += "</ul>";
    document.getElementById("ontheflytoc").innerHTML = toc;

}

function doitonload(){
    gen_toc();
}

addEvent(window,'load', doitonload);