if (document.layers)
	{
	ns = 1; ie = 0;
	}
	else
	{
	ns = 0; ie = 1;
	}
         
	var i = 0;
	var test = "henk";
	
function ShowLayerNo(layer_no)
	{
	hide(eval('"' + test + i +'"'));
	show(eval('"' + test + layer_no +'"'));
	i = layer_no;
	}

function show(name)
{
	if (ns)
	{
    	document.layers[''+name].visibility = "show";               
	}
	else
	{
	document.all[''+name].style.visibility = "visible"
	}
}

function hide(name)
	{
	if (ns)
	{
	document.layers[''+name].visibility = "hide"
	}
	else
	{
	document.all[''+name].style.visibility = "hidden"
	}
}