
<!--
icon1 = new Image();
  icon1.src = "navi/home.gif";
  icon1b = new Image();
  icon1b.src = "navi/home1.gif";
icon2 = new Image();
  icon2.src = "navi/produkte.gif";
  icon2b = new Image();
  icon2b.src = "navi/produkte1.gif";
icon3 = new Image();
  icon3.src = "navi/shop.gif";
  icon3b = new Image();
  icon3b.src = "navi/shop1.gif";
icon4 = new Image();
  icon4.src = "navi/links.gif";
  icon4b = new Image();
  icon4b.src = "navi/links1.gif";
icon5 = new Image();
  icon5.src = "navi/standort.gif";
  icon5b = new Image();
  icon5b.src = "navi/standort1.gif";
icon6 = new Image();
  icon6.src = "navi/kontakt.gif";
  icon6b = new Image();
  icon6b.src = "navi/kontakt1.gif";
icon7 = new Image();
  icon7.src = "navi/english.gif";
  icon7b = new Image();
  icon7b.src = "navi/english1.gif";

function Switch(imgDocID,imgObjName)
{
document.images[imgDocID].src = eval(imgObjName + ".src");
  }
-->