<!--
	function menu(obj, aan)
	{
		if (aan == 0) document.getElementById(obj.id).src = 'images/btn.' + obj.id + '.gif';
		if (aan == 1) document.getElementById(obj.id).src = 'images/btn.' + obj.id + '.over.gif';
	}
//-->