//Local variables
	var lasttabclicked = -1;		// array number of tab last clicked on
	var lasttabhover = -1;		// array number of tab last hovered on
	var n = ((document.layers) ? true:false) && (parseFloat(navigator.appVersion)<5)

	function chkclick(num)
		{
		if (num != lasttabclicked) 
			{
			if (num!=-1)
				on(num);
			off(lasttabclicked);
			lasttabclicked = num;
			};
		}

	function hover(num)
		{
		if (num == lasttabhover)
			{
			off(num);
			if (lasttabclicked!=-1)
				on(lasttabclicked);
			lasttabhover=-1;
			}
		else
			{
			on(num);
			if ((lasttabclicked!=-1) && (lasttabclicked!=num))
				off(lasttabclicked);
			lasttabhover=num;
			}
		}

	function on(num)
		{
		if (num>=0)
			if (!(n))
				{document.getElementById([tabs[num]]).style.visibility = "visible";}
			else
				{document.layers[tabs[num]].visibility = "show"};
		}

	function off(num)
		{
		if (num>=0)
			if (!(n))
				{document.getElementById([tabs[num]]).style.visibility = "hidden";}
			else
				{document.layers[tabs[num]].visibility = "hide"};
		}