function toggle(x)
{
	var lyr=document.getElementById(x);
	if (lyr.style.visibility==="visible")
		lyr.style.visibility="hidden";
	else
		lyr.style.visibility="visible";
}