// JavaScript Document
function switchImage(imgName, imgSrc) 
// tauscht das Bild mit dem Namen imgName gegen das Bild mit dem Pfad imgSrc aus
{ 
  if (document.images)
  {
    if (imgSrc != "none")
    {
      document.images[imgName].src = imgSrc;
    }
  }
}