mark = "_mix/x1.gif";
nav = new Array(max);
  
Name = navigator.appName;
Version = parseInt(navigator.appVersion); 
know = "0";
if (Name == "Netscape" && Version >= 4)  know = "1";
if (Name == "Microsoft Internet Explorer" && Version >= 4)  know = "1";
 
function navaktiv(nummer,seite)
	{neu=nummer;
	 if ( know == 1) { 
	 
	for (i=0; i<=max; i++) { nav[i]=new Image(); nav[i].src=mark; }
	killer=new Image(); killer.src="_mix/x0.gif";
	 
	document["nav"+alt].src=killer.src;
	document["nav"+nummer].src=nav[nummer].src;
	old=parent.links.alt;
	parent.links.alt=neu;
        parent.links.document["nav"+old].src=parent.links.killer.src;
	parent.links.document["nav"+neu].src=parent.links.nav[neu].src;
	window.defaultStatus=seite;
	}	}