function hide_a(menuname,aname)
{
	var theMenu=window.document.getElementById(menuname);
	var theA=window.document.getElementById(aname);	
	theMenu.style.visibility='hidden';
	theA.style.color='#06c';
	theA.style.textDecoration='none';
}

function show_a(menuname,aname)
{
	var theMenu=window.document.getElementById(menuname);
	var theA=window.document.getElementById(aname);	
	theMenu.style.visibility='visible';
	theA.style.color='#900';
	theA.style.textDecoration='underline';
}