<!--
	function doNaviOn(num)
	{
		var num;
		eval ("document.all.nav" + num + ".background =  'gfx/nav_top_elementbg2on.gif'");
	}
	
	function doNaviOff(nom)
	{
		var nom;
		eval ("document.all.nav" + nom + ".background =  'gfx/nav_top_elementbg2off.gif'");
	}
	
	function doCircleOn(nr)
	{
		var nr;
		eval ("document.altnavi.src =  'gfx/map_nav0" + nr + ".gif'");
	}
	
	function doCircleOff()
	{
		document.altnavi.src =  'gfx/map_nav00.gif'
	}
	
	function CloseThisOne()
	{
		document.getElementById('newsticker').style.visibility = 'hidden';
	}
	
//-->