// Buttons
var Normal = new Array();
var Highlight = new Array();
var Name = new Array();
var Active = "";

function ButtonInit()
{
 x=0;y=0;
 while(x<ButtonInit.arguments.length)
 {
  Name[y] = ButtonInit.arguments[x++];
  Normal[y] = new Image();
  Normal[y].src=ButtonInit.arguments[x++];
  Highlight[y] = new Image();
  Highlight[y].src=ButtonInit.arguments[x++];
  y++;
 }
}

function SetActive(ButName)
{
 OldActive=Active;
 Active=ButName;
 SetHighlight(ButName);
 if (OldActive.length) SetNormal(OldActive);
}


function SetHighlight(ButName)
{
 for(i=0;i<Name.length;i++)
   if (Name[i]==ButName) break;
 if (i<Name.length)
   window.document.images[ButName].src=Highlight[i].src;
}

function SetNormal(ButName)
{
 if (Active==ButName) return;
 for(i=0;i<Name.length;i++)
   if (Name[i]==ButName) break;
 if (i<Name.length)
   window.document.images[ButName].src=Normal[i].src;
}

// Frames
function LoadFrame(URL1,F1)
{
  parent.location.href=URL1;
}

function ZweiFrames(URL1,F1,URL2,F2)
{
    parent.frames[F1].location.href=URL1;
    parent.frames[F2].location.href=URL2;
}
function DreiFrames(URL1,F1,URL2,F2,URL3,F3)
{
    parent.frames[F1].location.href=URL1;
    parent.frames[F2].location.href=URL2;
    parent.frames[F3].location.href=URL3;
}