function leaveMenu(current_layer_name) {
	var ascendingLayers = getAscendingLayers(current_layer_name);
	ascendingLayers.push(current_layer_name);
	var visibleLayers = getVisibleLayers();
	for (i in visibleLayers) {
		to_be_hide = 1;
		for (j in ascendingLayers) {
                        if (ascendingLayers[j].match(visibleLayers[i])) {
				to_be_hide = 0;
				break;
			};
     		};
		if (to_be_hide) toggleBox('layer_' + visibleLayers[i], 0);
	};
};