var prevMenu = 0;

function show_submenu (id)
{
	if (prevMenu != 0)
	{
		document.getElementById('menu'+prevMenu).style.display = 'none';
	}
	document.getElementById('menu'+id).style.display = '';
	prevMenu = id;
}

//not found add for no errors
function change_title(title){};