if (document.images) {

    /* button1 */
    but1out = new Image(); but1out.src = "navigation/button_01n.gif"; /* Standard */
    but1over = new Image(); but1over.src = "navigation/button_01mo.gif"; /* Highlight */
	            
    /* button2 */
    but2out = new Image(); but2out.src = "navigation/button_02n.gif";
    but2over = new Image(); but2over.src = "navigation/button_02mo.gif";
	
    /* button3 */
    but3out = new Image(); but3out.src = "navigation/button_03n.gif";
    but3over = new Image(); but3over.src = "navigation/button_03mo.gif";

    /* button4 */
    but4out = new Image(); but4out.src = "navigation/button_04n.gif";
    but4over = new Image(); but4over.src = "navigation/button_04mo.gif";

    /* button5 */
    but5out = new Image(); but5out.src = "navigation/button_05n.gif";
    but5over = new Image(); but5over.src = "navigation/button_05mo.gif";
	    
    /* button6 */
    but6out = new Image(); but6out.src = "navigation/button_06n.gif";
    but6over = new Image(); but6over.src = "navigation/button_06mo.gif";
	    
    /* button7 */
    but7out = new Image(); but7out.src = "navigation/button_07n.gif";
    but7over = new Image(); but7over.src = "navigation/button_07mo.gif";
	    
    /* button8 */
    but8out = new Image(); but8out.src = "navigation/button_08n.gif";
    but8over = new Image(); but8over.src = "navigation/button_08mo.gif";

    /* button9 */
    but9out = new Image(); but9out.src = "navigation/button_09n.gif";
    but9over = new Image(); but9over.src = "navigation/button_09mo.gif";	

    /* button10 */
    but10out = new Image(); but10out.src = "navigation/button_10n.gif";
    but10over = new Image(); but10over.src = "navigation/button_10mo.gif";

    /* button11 */
    but11out = new Image(); but11out.src = "navigation/button_11n.gif";
    but11over = new Image(); but11over.src = "navigation/button_11mo.gif";

    /* button12 */
    but12out = new Image(); but12out.src = "navigation/button_12n.gif";
    but12over = new Image(); but12over.src = "navigation/button_12mo.gif";        
               
	    
      function over(name,index)
      {
           if ( index != aktuell )
           {    window.document[name].src = eval(name + "over.src");
           }
      }

      function out(name,index)
      {
           if ( index != aktuell )
           {    window.document[name].src = eval(name + "out.src");
           }
      }
      
    }
    else {
      alert("Leider haben Sie einen zu alten Browser.\n(Sie benötigen mindestens Netscape 3\noder Internet Explorer 4)");
    }