function img_change(button)
{
   var img=document.getElementById("panoramica");
   img.src="img/"+button+"_panoramica.png";

}