function change_img(imgName){
var obj=document.getElementById('img_big');
obj.setAttribute("src","photo_gallery/"+imgName);
}