bilder1 = new Image();
bilder2 = new Image();

var anzahlbild = 9;
var bildname ="";
function bwe()

{
  switch (arguments[1])
       {
       case "1":
            {
               bilder1.src = "w_grafen/ok_4.gif";
     		bilder2.src = "w_grafen/ok_3.gif";
               mach(arguments[0]);
             break;
              }/*endeofcase1*/
        case "2":
            {
               bilder1.src = "../w_grafen/ok_4.gif";
     	       bilder2.src = "../w_grafen/ok_3.gif";
               mach(arguments[0]);
             break;
              }/*endeofcase2*/
       }/*endofswitch*/
}

function mach()
 { var bildname = "mark"+arguments[0];
              	for (i=1; i <= anzahlbild; i++)
                  {
                   if (document.images["mark"+[i]]!= null)
                      {
                        document.images["mark"+[i]].src = bilder2.src;
                       }
                    }
                document.images[bildname].src = bilder1.src;
 }

function farbwex()

  {        var lk1 = arguments[0];
             if (document.getElementById("nu"+(lk1)))
	         {
	       	   if (document.getElementById("nu"+(lk1)).style.color != "#c52e3a")
                  	{
		      	var x = document.getElementById("nu"+(lk1)).style;
                      	x.color = "red";
                       }
                 }
               return true;
  }

function xewbraf()

  {
           var limit = 7;
           for (i=1; i < limit; i++)
           {
	    if (document.getElementById("nu"+(i)))
           	{
		 if (document.getElementById("nu"+(i)).style.color != "#c52e3a")
		 {
		   var y = document.getElementById("nu"+(i)).style;
           	 y.color = "black";  }
		}
            }
 }

function farbset()

  {        var lk2 = arguments[0];
           var limit = 7;


           for (i=1; i < limit; i++)
           {

            if (document.getElementById("nu"+(i)))
                {
                 var x = document.getElementById("nu"+(i)).style;
                x.color = "#000000";

                }

            }
            if (document.getElementById("nu"+(lk2)))
                {
                var x = document.getElementById("nu"+(lk2)).style;
                x.color = "#C52E3A";
                }
 }