function changeImage(pictureName, newPictureSrc)
{
  document.images[pictureName].src=newPictureSrc;
}