function display_sub_menu(which)
{
	document.getElementById('menu_'+which).style.visibility='visible';
}

function hide_sub_menu(which)
{
	document.getElementById('menu_'+which).style.visibility='hidden';
}