<!-- //hide from old browsers

n  = (document.layers) ? 1:0
ie = (document.all)    ? 1:0

var menu1;



function init()
    {
		if (n)
    	{
		menu1 = document.programmes


		}
		if (ie)
    	{
		menu1 = programmes.style


		}
	}

function show(showobj)
        {
        if (n) showobj.visibility = "show"
        if (ie) showobj.visibility = "visible"
        }

function hide(hideobj)
        {
        if (n) hideobj.visibility = "hide"
        if (ie) hideobj.visibility = "hidden"
        }


function hideAll()
	{
	if ((n) || (ie)) {hide(menu1);}
	changeImages('m1', 'buttons/programmes-norm.gif');
	}


var TimeOutNum = 0;

loaded = 0;


function SetTimer()
        {
		TimeOutNum = setTimeout("hideAll();",600);
        }

//-->