/**
 *	+-------------------------------------------------------------------------------+
 *	Show or hide div used in the menus
 *	+-------------------------------------------------------------------------------+
 */
function hidediv(id)
{
	document.getElementById(id).style.visibility = "hidden";
}

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