<!--
// mouseovers f. mainmenu

var loaded=0;
dot=new Image(); dothl=new Image();

function si(a,b)
	{
	if (document.images && loaded==1)
		{
		document.images[a].src=b.src;
		}
	}

function init()
	{
	dothl.src = '/cms04/images/navigation/nav_dot01_hl_blue.gif';
	dot.src = '/cms04/images/navigation/nav_dot01_blue.gif';

	loaded=1;
	}

//-->