var toolboxOn;
var toolboxOff;
	if(!document.all)
	{
		toolboxOn = document.getElementById("ToolboxOn").style
		toolboxOff = document.getElementById("ToolboxOff").style;
	}
	else
	{
		toolboxOn = document.all.ToolboxOn.style;			
		toolboxOff = document.all.ToolboxOff.style;	
	}
	var msg;
	msg = "";
var hide=false;
function showToolbox()
{	
/*
			toolboxOff.visibility = "hidden";
			toolboxOff.display = "none";
			*/
			toolboxOn.visibility = "visible";
			toolboxOn.display = "";
			hide = false;
}
	
function hideToolbox()
{	
	// Fix for Firefox bug triggers for onMouseOver and onMouseOut
	hide=true;
	setTimeout('doHide()',250);
	
}
function doHide()
{
	if(hide)
	{
		toolboxOn.visibility = "hidden";
		toolboxOn.display = "none";
		/*
		toolboxOff.visibility = "visible";
		toolboxOff.display = "";
		*/
		hide=false;
	}
}