<!--
	function menu(obj, aan)
	{
		if (aan == 0) document.getElementById(obj.id).src = 'images/btn.' + obj.id + '.jpg';
		if (aan == 1) document.getElementById(obj.id).src = 'images/btn.' + obj.id + '.over.gif';
	}

	preload_image = new Image(300,360);
	preload_image.src="images/maskerB.png";
//-->