function hide_sub_menu(nr)
{
	document.getElementById('sub_menu_'+nr).style.display = 'none';
}

function show_sub_menu(nr)
{
	document.getElementById('sub_menu_'+nr).style.display = '';
	for (i=2; i<=5; i++)
		if (i!=nr)
			document.getElementById('sub_menu_2').style.display = 'none';
	document.getElementById('sub_menu_'+nr).style.display = '';
}