function dispToggle(divname)
{
	el = $(divname);

	if (dispVisible(el))
		dispHide(el);
	else
		dispShow(el);
}


function dispShow(divname)
{
	el = $(divname);
	el.style.visibility = 'visible';
}


function dispHide(divname)
{
	el = $(divname);
	el.style.visibility = 'hidden';
}


function dispVisible(divname)
{
	el = $(divname);
	return (el.style.visibility == 'visible');
}