function rufe(URL1, NR)
{
  parent.frames["main"].location.href=URL1+NR;
}

function mache(URL1)
{
  parent.frames["main"].location.href=URL1;
}

function NeuKode(URL1)
{
  frames["Kode"].location.href=URL1;
}

function NeuHotel(URL1)
{
  frames["HotelInfo"].location.href=URL1;
}

function nimmzwei(URL1, URL2, TARGET)
{
  if (TARGET == '_blank')
  {
    parent.frames["nav"].location.href=URL1;
    Fenster = window.open (URL2, "NewFenster");
  }
  else
  {
    parent.frames["nav"].location.href=URL1;
    parent.frames["main"].location.href=URL2;
  }
}

function zeigepreise(URL1)
{
  frames["fzeigepreise"].location.href=URL1;
}