// Bilderwechsler mit Vorladen der Bilder
// copyright by Barbara Jost - Petson Video AG - www.petson.ch
// -----------------------------------------------------------
//
if (document.images){
// generieren eines Array mit den benötigten Bildern normal/mouseover
// damit diese vorher geladen werden
  b01=new Image(); b02=new Image(); b03=new Image();
  b01.src="../images/design/logonavif-delta.gif"; 
  b02.src="../images/design/logonavif-basic.gif";
  b03.src="../images/design/logonavif-servx.gif";
 
  w01=new Image(); w02=new Image(); w03=new Image();

  w01.src="../images/design/logonavig-delta.gif"; 
  w02.src="../images/design/logonavig-basic.gif";
  w03.src="../images/design/logonavig-servx.gif";
}

// Funktion Bilderwechsel, ob=Originalbild, wb=Wechselbild
// wenn der Browser etwas mit document.images anfangen kann, dann wechselt er die Bilder
// das Originalbild wird dann jeweils auf das Wechselbild gesetzt
function fbw1(ob1,wb1){
if (document.images){
  document.images[ob1].src = wb1.src;
  }
}

function franz(){
  a = location.href
  dateiname = a.slice(a.lastIndexOf("/")+1)
  location.href="franz/" + dateiname
}
function deutsch(){
  a = location.href
  dateiname = a.slice(a.lastIndexOf("/")+1)
  location.href="../" + dateiname
}

//-->