// This script is shared by all the slides within the show.
// Copyright 2001 by AbsInt Angewandte Informatik GmbH.

// Highlighted Buttons
High0 = new Image();  High0.src = "first.gif";
High1 = new Image();  High1.src = "prev.gif";
High2 = new Image();  High2.src = "next.gif";
High3 = new Image();  High3.src = "last.gif";
High5 = new Image();  High5.src = "info.gif";
High6 = new Image();  High6.src = "home.gif";

// Grey Buttons
Grey0 = new Image();  Grey0.src = "grey0.gif";
Grey1 = new Image();  Grey1.src = "grey1.gif";
Grey2 = new Image();  Grey2.src = "grey2.gif";
Grey3 = new Image();  Grey3.src = "grey3.gif";
Grey4 = new Image();  Grey4.src = "line.gif";
Grey5 = new Image();  Grey5.src = "grey4.gif";
Grey6 = new Image();  Grey6.src = "grey5.gif";

// Help Line
Line0 = new Image();  Line0.src = "line0.gif";
Line1 = new Image();  Line1.src = "line1.gif";
Line2 = new Image();  Line2.src = "line2.gif";
Line3 = new Image();  Line3.src = "line3.gif";
Line5 = new Image();  Line5.src = "line4.gif";
Line6 = new Image();  Line6.src = "line5.gif";

// JavaScript disabled: all buttons are highlighted by
// default and do not change their colors on user actions.
// JavaScript enabled: StartUp marks all the
// buttons grey when a slide is loaded.

function StartUp()
{
    for (i = 0; i <= 6; i++)
    { document.images[i].src = eval("Grey" + i + ".src"); };
}

function aiSwap(Nr)
{
     if (Nr < 10)   // onMouseOver
     {
        document.images[Nr].src = eval("High" + Nr + ".src");
        document.images[4].src = eval("Line" + Nr + ".src");
     }
     else           // onMouseOut
     {
        Nr = Nr - 10;
        document.images[Nr].src = eval("Grey" + Nr + ".src");
        document.images[4].src = Grey4.src;
     }
}