function show_submenu(num)
{
	var	status = document.getElementById("submenu"+num).style.display;
	if (status == 'none')
		document.getElementById("submenu"+num).style.display = 'block';
	else
		document.getElementById("submenu"+num).style.display = 'none';
}