<!--

function menu(val)
{
	if (document.getElementById("divid_"+val).style.display != 'block')
		document.getElementById("divid_"+val).style.display='block';
	else
		document.getElementById("divid_"+val).style.display='none';
}

-->