function show(a)
	{
	if (document.getElementById) {document.getElementById(a).style.visibility="visible"}
	}

function hide(a)
	{
	if (document.getElementById) {document.getElementById(a).style.visibility="hidden"}
	}