function change_img(newimg ) {
   document.getElementById('big_image').src = document.getElementsByName(newimg)[0].src;
}