function show(id)
	{
	var element = document.getElementById(id);
	if (element != null)
		{
	    if (element.style.display != "none")
			{
			element.style.display = "none";
			}
		else
			{
			element.style.display = "";
			}
	    }
	}