function ChangeImage(myImg, myNum) {
          var myDots = "document.images['nav" + myNum + "']";
          myDots = eval(myDots);
          mySrc = "images/" + myImg + ".jpg";
          myDots.src = mySrc;
  }