<!--


  function deblur(mylink)
  {
    mylink.blur();
  }


  function bildtauschen(bildsrc)
  {
    window.document.images.bild.src=bildsrc;
  }


//-->