function show_menu(node){
	var divs = node.getElementsByTagName('div');
        for (var x = 0; x < divs.length; x++) {
                if (divs[x].className === 'nav_entry_section') {
                        divs[x].style.display="block";
                }
        }
}

function hide_menu(node){
		var divs = node.getElementsByTagName('div');
        for (var x = 0; x < divs.length; x++) {
                if (divs[x].className === 'nav_entry_section') {
                        divs[x].style.display="none";
                }
        }
}