/* script to control tv_icon visiblility */

function hide(nav)

{

	if (document.layers) nav.visibility = 'hide';

	else nav.style.visibility = 'hidden';

}



function show(nav)

{

	if (document.layers) nav.visibility = 'show';

	else nav.style.visibility = 'visible';		

}




var currentTVIcon = 'none';



function showTVIcon(nav)

{

	show(document.getElementById(nav));

}



function startHideTVIcon(nav)

{

	currentTVIcon = nav;
	hide(document.getElementById(currentTVIcon));

}