function show(a)
	{
	document.getElementById(a).style.visibility = 'visible';
	}

function hide(a)
	{
	document.getElementById(a).style.visibility = 'hidden';
	}