//++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

//++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

// Funktionen fuer das Meneu

//++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

//++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++



var undefined;

var istbild=0;

var warbild=0;





//++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

// Allgemeine Funktionen

//++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++





//++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

// onMouseover Funktion Hauptmenü

//++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++



var menu=new Array;

var menu2=new Array;



for (var i=1;i<6;i++){

  menu[i] = new Image();

  menu2[i] = new Image();

  menu[i].src="http://www.hafen-trier.de/grafik/en/hm_"+i+".gif";

  menu2[i].src="http://www.hafen-trier.de/grafik/en/hm_"+i+"_.gif";

}



function over(x){

  document.images["hm"+x].src=menu2[x].src;

}



function out(x){

  warbild=istbild;

  if (warbild != x){

    document.images["hm"+x].src=menu[x].src;

  }

}



function fix(x){

  warbild=istbild;



  if (warbild != 0){

    document.images["hm"+warbild].src=menu[warbild].src;

  }

  if (x != 0){

    document.images["hm"+x].src=menu2[x].src;

  }

  istbild=x;

}





//+++++++++++++++++++++++++++++++++++++++++++++++++++++++

// Funktion zum dynamischen Setzen eines layer-Ausdrucks

//+++++++++++++++++++++++++++++++++++++++++++++++++++++++



function ausdruckSetzen()

{



  var idname = ausdruckSetzen.arguments[0];



  if (document.getElementById(idname))

  {

    return document.getElementById(idname);

  }

  else

  {

    //alert('Es gibt keinen Layer mit der id \'' + idname + '\'');

    return undefined;

  }



}





//+++++++++++++++++++++++++++++++++++++++++++++++++++++++

// Untermenü ein-/ausblenden

//+++++++++++++++++++++++++++++++++++++++++++++++++++++++



var waruntermen = 0;

var istuntermen = 0;



function untermenue(name,x)

{



  waruntermen = istuntermen;



  if (waruntermen != 0)

  {

    var id = String(name + waruntermen);

    var ausdruck = ausdruckSetzen(id);



    if (ausdruck != undefined)

    {

      ausdruck.style.display = 'none';

    }

  }



  if (x != 0)

  {

    if (x != waruntermen)

    {

      var id = String(name + x);

      var ausdruck = ausdruckSetzen(id);



      if (ausdruck != undefined)

      {

        ausdruck.style.display = 'block';

        //window.setTimeout("fix(0); untermenue('untermenue',0)", 10000);

      }

    }

  }

  else

  {

    for (var i=1; i<6; i++)

    {

      var id = String(name + i);

      var ausdruck = ausdruckSetzen(id);



      if (ausdruck != undefined)

      {

        ausdruck.style.display = 'none';

      }

    }

  }



  if (waruntermen == x)

  {

    istuntermen = 0;

  }

  else

  {

    istuntermen = x;

  }



}