button1over			= new Image();
	button2over			= new Image();
	button3over			= new Image();
	button4over			= new Image();
	button5over			= new Image();
	button6over			= new Image();
	buttonout			= new Image();

	zahl1				= new Image();
	zahl2				= new Image();
	zahl3				= new Image();
	zahl4				= new Image();
	zahl5				= new Image();
	zahl6				= new Image();

	button1over.src			= "img/navig1.gif";
	button2over.src			= "img/navig2.gif";
	button3over.src			= "img/navig3.gif";
	button4over.src			= "img/navig4.gif";
	button5over.src			= "img/navig5.gif";
	button6over.src			= "img/navig6.gif";
	buttonout.src			= "img/navig0.gif";

	zahl1.src				= "img/zahl1.gif";
	zahl2.src				= "img/zahl2.gif";
	zahl3.src				= "img/zahl3.gif";
	zahl4.src				= "img/zahl4.gif";
	zahl5.src				= "img/zahl5.gif";
	zahl6.src				= "img/zahl6.gif";


function change(normal10,focus0)
      {                               
                document.images[normal10].src = eval(focus0 + ".src")
      }