// show submenu
function show_menu(index)
{
	// search all sub menus
	for(i = 0; i < document.getElementsByName("menu_main").length; i++)
	{
		// found entry
		if(i == index)
		{
			// show sub menu
			document.getElementById("menu_sub_"+i).style.display = 'block';
		}
		else
		{
			// hide all other sub menus
			document.getElementById("menu_sub_"+i).style.display = 'none';
		}
	}
}