// JavaScript Document

function set_menu_visibility(tree,obj){	
	obj = document.getElementById(obj);
	new_className = (obj.className=="dvl_menu_tree")?"dvl_menu_tree_closed":"dvl_menu_tree";	
	obj.className = new_className;
	new_className = (tree.className=="dvl_menu_tree_caption")?"dvl_menu_tree_caption_closed":"dvl_menu_tree_caption";	
	tree.className = new_className;
}