if ( parseInt(navigator.appVersion) >= 4 || navigator.appName == "Netscape") {
menu1_on = new Image();
menu1_on.src = "images/sprache_de_on.gif";
menu1_off = new Image();
menu1_off.src = "images/sprache_de.gif";
menu2_on = new Image();
menu2_on.src = "images/sprache_gb_on.gif";
menu2_off = new Image();
menu2_off.src = "images/sprache_gb.gif";
}

var ausgewaehlt="";
var highlighted="";

function doClick(buttonname)
{
   if ( parseInt(navigator.appVersion) >= 4 || navigator.appName == "Netscape")
   {
      bildOn = eval(buttonname + "_on.src");
      if (ausgewaehlt != "")
       {
        bildOff = eval(ausgewaehlt + "_off.src");
       }
      if (buttonname != ausgewaehlt) 
       {
         document[buttonname].src = bildOn;
         if (ausgewaehlt != "")
           {
            document[ausgewaehlt].src = bildOff;
           }
       }
       ausgewaehlt = buttonname;
   }
}

function knopf_on(buttonname)
{
   if ( parseInt(navigator.appVersion) >= 4 || navigator.appName == "Netscape")
   {
      bildOn = eval(buttonname + "_on.src");
      bildOff = eval(buttonname + "_off.src");
      if (buttonname != ausgewaehlt) 
       {
        document[buttonname].src = bildOn;
       }
      if (highlighted != ausgewaehlt && highlighted != buttonname) 
       {
        document[buttonname].src = bildOff;
       }
      highlighted = buttonname;
   }
}
function knopf_off(buttonname)
{
   if ( parseInt(navigator.appVersion) >= 4 || navigator.appName == "Netscape")
   {
     bildOff = eval(buttonname + "_off.src");
     if (highlighted != ausgewaehlt) 
       {
        document[buttonname].src = bildOff;
       }
     highlighted = ausgewaehlt;
   }
}