function next_img(){
  var img = document.getElementById('main_image');
  currImg = currImg + 1;
  if (currImg >= aImages.length){
    currImg = 1;
  }
  //alert(currImg + ' ' + aImages[currImg]);
  img.src = './images/' + aImages[currImg];
} /* End of next_img */