if (!window.addEvent) { 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() {

    // Generates on-the-fly TOC
    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;
	    }
	    var res = text.split(/[\t\s]-[\t\s]/);
	    if (res.length > 1) {
		res.shift();
		text = res.join(" ");
	    }
	    toc += "<li><a href=\"#" + h2.id + "\">" + text + "</a></li>";
	}
    }

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

    // Jumps to anchor
    if ( window.location.hash != "" ) {
        location.href = '#' + location.href.split('#')[1];
    }

}

addEvent(window,'load', gen_toc);