//function ShowBig(picture)
// {
//  window.open(picture,"Bildanzeige","width=310,height=430,screenX=20,screenY=20,resizable=no");
// }


button1on = new Image();
button1on.src = "gif/white_dot.gif";
button1off = new Image();
button1off.src = "gif/blue_dot.gif";

button2on = new Image();
button2on.src = "gif/white_dot.gif";
button2off = new Image();
button2off.src = "gif/blue_dot.gif";

button3on = new Image();
button3on.src = "gif/white_dot.gif";
button3off = new Image();
button3off.src = "gif/blue_dot.gif";

button4on = new Image();
button4on.src = "gif/white_dot.gif";
button4off = new Image();
button4off.src = "gif/blue_dot.gif";

button5on = new Image();
button5on.src = "gif/white_dot.gif";
button5off = new Image();
button5off.src = "gif/blue_dot.gif";

button6on = new Image();
button6on.src = "gif/white_dot.gif";
button6off = new Image();
button6off.src = "gif/blue_dot.gif";

button7on = new Image();
button7on.src = "gif/white_dot.gif";
button7off = new Image();
button7off.src = "gif/blue_dot.gif";

button8on = new Image();
button8on.src = "gif/white_dot.gif";
button8off = new Image();
button8off.src = "gif/blue_dot.gif";


function imageon(myname)
{
 imgOn = eval("button" +myname +"on.src");
 document["button" +myname].src = imgOn;
}

function imageoff(myname)
{
 imgOff = eval("button" +myname +"off.src");
 document["button" +myname].src = imgOff;
}