// JavaScript Document
function switch_display(id)
{
	element	= document.getElementById(id);
	if(element.style.display == "none")	element.style.display = "";
	else	element.style.display = "none";
}