//navigation doubleneck

		function changeSrc (id, func) {
			if (func == 'a') document.getElementById(""+id).src = 'pict/navigation/'+id+'.gif';
			else if (func == 'na') document.getElementById(""+id).src = 'pict/navigation/'+id+'_grau.gif';
		}// changeSrc
	// -->