<!--
function ButtonChange (bild, nr)
{
  if (nr==2)
  {
    document[bild].src=bild+"up.gif";
  }
  if (nr==1)
  {
    document[bild].src=bild+"over.gif";
  }
}