function change(picnr,pictures,nr,wennnicht)
	{
	if (wennnicht!=nr)
	   {window.document.images[picnr].src=pictures[nr].src;}
	}
	
function headlogo(modus)
    {
	parent.frames[2].change(0,parent.frames[2].heads,modus,99);
	}
	
function navmodus(modus)
	{
	parent.frames[4].reset(modus);
	parent.frames[5].reset(modus);
	}	
	
function select(pic,nr)
    {
	if (aktiv>=0)
	 	 {change(aktivpic,buttons1,aktiv,99);}
	change(pic,buttons2,nr,99);
	aktiv=nr;
	aktivpic=pic;
	}

