// JavaScript Document

function switch_visibility (ID)
{
	var object;
	object = document.getElementById(ID);
	
	if (object.style.visibility == "hidden")
	{
		object.style.visibility = "visible";	
	}
	else
	{
		object.style.visibility = "hidden";
	}
}