var normalzustand = new Array ("../bilder/buthome1.gif","../bilder/buthus1.gif","../bilder/butwoh1.gif","../bilder/butpell1.gif","../bilder/butkon1.gif","../bilder/butanr1.gif","../bilder/butintro1.gif");
var aktiv

function change(nr,name)
{
if (aktiv!=nr)
{
document.images[nr].src=name+".gif";
}}

function indicate(nr,name)
{
for (i=0; i<=6; i++)
  {
  document.images[i].src=normalzustand[i];
  }
document.images[nr].src=name+".gif";
aktiv = nr;
}


function win_auf(url,fenstername,breit,hoch)
{
window.open ( url,fenstername,"width="+breit+",height="+hoch+",top=465,left=380" )
}