function toggle(div)
{
	with(document.getElementById(div).style)
	{
		if(display == "none")
		{
			display = "block";
		}
			else
		{
			display = "none";
		}
	}
}

function show2(tr)
{
	document.getElementById(tr).style.display = "";
}

function hide2(tr)
{
	document.getElementById(tr).style.display = "none";
}



function hide_navi_tools_box()
{
	document.getElementById("navi_tools_box").style.display = "none";
}

function show_navi_tools_box()
{
	document.getElementById("navi_tools_box").style.display = "block";
}

function show(div)
{
 with(document.getElementById(div).style)
 {
   display = "inline";
 }
}

function toggle2(div)
{
 with(document.getElementById(div).style)
 {
  if(display == "none")
  {
   display = "inline";
  }
   else
  {
   display = "none";
  }
 }
}