function viewImage(imageName) {
   var img = document.getElementById('mappa_dettaglio');
   img.src = imageName;
}