function show_element(id)
{
	document.getElementById(id).style.visibility = "visible";
}

function hide_element(id)
{
	document.getElementById(id).style.visibility = "hidden";
}

function element_visible(id)
{
	if (document.getElementById(id).style.visibility == "visible")
		return(true);
	else
		return(false);
}