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