//----------------------------------------------
// We hide an object of the document
//----------------------------------------------
function hide_obj()
{
var Arg = arguments;
var Obj;
	for(var i=0; i< Arg.length; i++)
	{
	Obj = document.getElementById(Arg[i]);
		if(Obj)
		{
		Obj.style.display = "none";
		}
	}
}

//----------------------------------------------
// We display an hidden object of the document
//----------------------------------------------
function display_obj()
{
var Arg = arguments;
var Obj;
	for(var i=0; i< Arg.length; i++)
	{
	Obj = document.getElementById(Arg[i]);
		if(Obj)
		{
		Obj.style.display = "";
		}
	}
}