function hide_sub_menu(x)
{
	document.getElementById(x).style.display = 'none';
}

function show_sub_menu(x)
{
	document.getElementById(x).style.display = 'block';
}