var t2;
function show(a)
{
b=a;
if(t2==undefined)
var t1=setTimeout('show_01(b)', 500);
else
	{
	clearTimeout(t2);
	var t1=setTimeout('show_01(b)', 0);
	}
}

function hide(a)
{
b=a;
var t2=setTimeout('hide_01(b)', 500);
}

function show_01(a)
{
if(document.getElementById) {document.getElementById(a).style.visibility='visible';}
}

function hide_01(a)
{
	if(document.getElementById) {document.getElementById(a).style.visibility='hidden';}
}