function changePicture(NewSource)
{
  var oPic = document.getElementById("pic1");
  oPic.src = NewSource;
}