function show(which)
	{
	if (!document.getElementById)
		return
	if (which.style.display=="none") which.style.display=""
		else which.style.display="none"
	}