function addEvent( obj, type, fn )
{
    if (obj.addEventListener)
	obj.addEventListener( type, fn, false );
    else if (obj.attachEvent) {
	obj["e"+type+fn] = fn;
	obj[type+fn] = function() { obj["e"+type+fn]( window.event ); }
	obj.attachEvent( "on"+type, obj[type+fn] );
    }
}

function removeEvent( obj, type, fn )
{
    if (obj.removeEventListener)
	obj.removeEventListener( type, fn, false );
    else if (obj.detachEvent) {
	obj.detachEvent( "on"+type, obj[type+fn] );
	obj[type+fn] = null;
	obj["e"+type+fn] = null;
    }
}

function highlight_rhs_menu() {
    var el = document.getElementById("rhs_menu");
    if (el) {
	var p = location.href;
	highlight_rhs_current(el, p);
    }
}

function highlight_rhs_current(el, p)  {
    if (el.tagName == "A") {
	if (el.href == p)
	    el.className += " selected";
    }
    var i;
    for (i = 0; i < el.childNodes.length; i++) {
	highlight_rhs_current(el.childNodes[i], p);
    }
}



addEvent(window, "load", highlight_rhs_menu);