function bildwechsel(bildname,zustand)
  {
  bildsrc = document.images[bildname].src;
  bildsrc_slash = bildsrc.lastIndexOf("/")+1;
  bildsrc_punkt = bildsrc.lastIndexOf(".")+1;
  if (zustand > 0)
    {
    bildsrc_0 = (bildsrc.substr(bildsrc_slash));
    document.images[bildname].src="images/" + bildsrc.substr(bildsrc_slash,bildsrc_punkt - bildsrc_slash - 2) + zustand + bildsrc.substr(bildsrc_punkt - 1);
    }
  else if (zustand == 0)
    {
    document.images[bildname].src="images/" + bildsrc_0;
    }
  }